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