Personal mirror of http://alloy.mit.edu/kodkod/
Stars
1
Forks
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
3
commits
import from Kodkod 1.5.1.
e8914f5
import from kodkod.jar 03/17/2009.
3b0127b
import from kodkod.jar 11/25/2008.
3d9016d