Yices-2.6.1

ianamason released this 26 Oct 21:37

· 2172 commits to master since this release

ba13d37

New features:

Bug fixes.
Unsat core supported by the Yices front end.
The python bindings are now a git submodule, and have been updated and improved.

Assets 2