issues
search
loonwerks
/
jkind
JKind - An infinite-state model checker for safety properties in Lustre
http://loonwerks.com/tools/jkind.html
Other
52
stars
32
forks
source link
available solvers convenience method
#32
Closed
TheBeaNerd
closed
8 years ago
agacek
commented
8 years ago
I merged in intended the solver changes.
I merged in intended the solver changes.