Changelog

0.3.1

  • Totalizer encoder, harmonization as list of clauses

  • New var method harmonization between solvers

0.3.0

  • Added solver cloning

  • Added Blackbox v1

  • Added SatexBlackbox v1

  • Support for multiple solvers per running scenario

  • Improve exception messages and docs

  • Add support for Python 3.10

  • Refactor modules names

  • Other small changes, improvements and bug fixes