v1.3.1

czengler released this 01 Sep 09:58

· 558 commits to master since this release

Added

New formula transformation which imports formulas in another formula factory

Changed

Huge performance boost in the model enumeration of MiniSat

Fixed

Small bugfix for a trivial case in DRUP

Assets 6