Boolector Release 3.2.0

[Aina Niemetz]

Hi all,

Version 3.2.0 of Boolector is now available on GitHub

Changelog (since 3.1.0):

• new dumper: CNF printer (enable with CLI option -dd and API option BTOR_OPT_PRINT_DIMACS)
• fix issue with model construction for constant arrays
• boolector_sat is not automatically called on smt2 input anymore, must be explicitly called via (check-sat) in the input file
• smt2:
  • support for parsing constant arrays
  • support for :global-declarations
• API changes:
  • boolector_ror and boolector_rol now allow same bit-width for both operands
• new API calls
  • boolector_roli
  • boolector_rori

As always, you can find the documentation at https://boolector.github.io/docs/index.html