kodkod
There are 3 repositories under kodkod topic.
ModelWriter/Tarski
A Platform for Automated Analysis of Traceability (WP3)
ModelWriter/WP3
A Platform for Automated Analysis of Traceability (WP3)
ModelWriter/AlloyInEcore
Embedding of First-Order Relational Logic into Meta-Object Facility