v1.6.1

czengler released this 01 Sep 09:29

· 346 commits to master since this release

7d852d0

Added

A new method for solving a formula with a given literal ordering.

Changed

Minor refactoring of the Formatter super class (no effects on callers).

Fixed

Fixed the behaviour of model enumeration with additional variables.

Assets 6