v1.4.1

czengler released this 01 Sep 09:42

· 483 commits to master since this release

Changed

Some refactorings for unit tests on Windows regarding encodings
The Quine-McCluskey implementation does not yield CNF auxiliary variables anymore

Fixed

Fixed a minor bug in the generation of incremental cardinality constraints

Assets 6