Giters
emina
/
kodkod
Kodkod solver for relational logic
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
73
Watchers:
8
Issues:
1
Forks:
21
emina/kodkod Watchers
Takeo Imai
bonotake
eemailme
Emina Torlak
emina
Ferhat Erata
ferhaterata
fmantz
James Cloos
jhcloos
Ron Pressler
pron
SeshatCZ