Geeks
bonotake
/
kodkod
Kodkod solver for relational logic
Primary Language
Java
MIT License
MIT
kodkod GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
jhcloos