Intermediate release that collects 2 years of bugfixes and improvements.
Python 2 was deprecated in version 0.9.0, and this version removes the use of compatible code for that version.
What's Changed
- Add support for boolean-typed array in the AtomsOracle by @mikand in #644
- Switched from nosetests to pytest by @mikand in #662
- Fixed a bug in yices quantifier support and added regression test by @mikand in #657
- Fix Boolector install script by @4tXJ7f in #656
- BUG: define UFNIA as logic with integer arithmetic by @johnyf in #659
- Handling of algebraic constants in simplify by @EnricoMagnago in #658
- Integer div by @EnricoMagnago in #667
- Fix CVC4 installation on macOS by @kammoh in #666
- Bug in times distributor by @EnricoMagnago in #671
- Fixed reset_assertion method for incremental-tracking solvers by @mikand in #672
- Minor Corrections by @mfarif in #673
- implement add_assertions method for solver. by @EnricoMagnago in #679
- Fix "get_model" when called from a generic solver (Fix #674) by @btwael in #675
- Remove six and python 2 compatibility code by @marcogario in #684
- Added fallback to Swig3 to address as much as possible issue #682 by @mikand in #685
- Fix to correctly pass logic to solvers started by Portfolio by @ekilmer in #683
- SmtLib model validation support by @mikand in #681
- Fix iss694 by @EnricoMagnago in #695
- Fixed CVC4 installer after upstream repository renaming by @mikand in #697
- Remove call to
FNode.substitutein SmtLibExecutionCache by @EnricoMagnago in #699 - Added printing of annotations to smt lib printers by @agirardi-fbk in #703
- Integer div by @EnricoMagnago in #705
- Updated docker images to solve deprecation issue on azure pipelines by @mikand in #706
- Workaround to fix Z3 segfault by @mikand in #713
- Add possibility to use several BV operators as left associative by @agirardi-fbk in #714
- Fixed issue #613 by @mikand in #710
New Contributors
- @4tXJ7f made their first contribution in #656
- @johnyf made their first contribution in #659
- @kammoh made their first contribution in #666
- @mfarif made their first contribution in #673
- @btwael made their first contribution in #675
- @ekilmer made their first contribution in #683
- @agirardi-fbk made their first contribution in #703
Full Changelog: v0.9.0...v0.9.5
Contributors
ekilmer, marcogario, and 8 other contributors