kodkod

There are 3 repositories under kodkod topic.

ModelWriter/Tarski
A Platform for Automated Analysis of Traceability (WP3)
Language:Java8 3 01
ModelWriter/WP3
A Platform for Automated Analysis of Traceability (WP3)
Language:Java4 9 971
ModelWriter/AlloyInEcore
Embedding of First-Order Relational Logic into Meta-Object Facility
Language:Java3 2 01