Skip to content

Yices-2.6.0
Compare
Choose a tag to compare
@BrunoDutertre BrunoDutertre released this 29 Jun 18:28
· 2208 commits to master since this release
Yices-2.6.0
7a6286f

New features:

  • unsat cores
  • push/pop now supported by the MC-SAT solver
  • improved support for SMT-LIB 2.5
  • various fixes
Assets 2