v1.5.1

czengler released this 01 Sep 09:36

· 380 commits to master since this release

ae79302

Added

Introduced a new FormulaHelper class for small utility methods on formulas
Added a new NNF predicate

Fixed

Fixed an unspecified behaviour in SATPredicate
Fixed a small performance issue in the new backbone solver
Fixed a bug in a special case of the CNF transformation of a pseudo-Boolean constraint

Assets 6