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