Name: kodkod
Specification-Title: Kodkod API
Specification-Version: 2.0
Specification-Vendor: Emina Torlak
Implementation-Title: Kodkod API
Implementation-Version: 2.0
Implementation-Vendor: Emina Torlak