kodkodz
A fork of Kodkod solver with Z3 Theorem Prover back-end for Relational Logic
Home
View on GitHub
AlloyInEcore
ITEA-ASSUME Project
Releases
Presentation
Your browser isn't supporting embedded pdf files. You can download the file
here
.