Geeks
mcschroeder
/
smc
Interpolation-based sequential model checker for AIGER models
Primary Language
C++
MIT License
MIT
smc GitHub
Markdown
Readme
0
Issues
2
Stargazers
3
Watchers
Stargazers
Gary-oak-Star
hgoes
Hamburg, Germany