issues
search
SRI-CSL
/
sally
A model checker for infinite-state systems.
http://sri-csl.github.io/sally/
GNU General Public License v2.0
69
stars
12
forks
source link
Add parsers for aiger
#14
Closed
dddejan
closed
8 years ago