This repository has been archived by the owner on Aug 23, 2024. It is now read-only.

Boolector 3.2.2

aniemetz released this 28 May 00:53

· 48 commits to master since this release

fix issues in btormc
fix issue with get-value for Boolean variables
fix issue with get_failed_assumptions in combination with push/pop
fix get-unsat-assumptions printing
export enums for setting options (option values)
get-model is now SMT-LIB standard compliant
PyPi packages for Boolector
remove obsolete CL option --smt2-model (use -m --output-format=smt2 instead)

Assets 2