v2.7.0

blishko released this 29 May 18:51

· 80 commits to master since this release

e4e6a65

Bug fixes:

Fix unsoundness in incremental solving involving theory combination (introduced in 2.6.0).
Fix unsoundness in handling nested arrays.
Fix bug in one of the constructors of FastRational.

New features:

Experimental support for unsat cores.

Assets 5