JKind v2.2.1

agacek released this 20 Aug 21:49

· 246 commits to master since this release

db95aae

Fix bug in reconstruction of inductive counterexamples (Thanks to Steve Miller for finding this).
Support for mod and div in Yices 2 now that Yices 2.4.1 supports those operators
Check <SOLVER>_HOME/bin and <SOLVER>_HOME for solver executables

Assets 3