LogicNG v1.6.1 Release Notes
Release Date: 2019-09-16 // over 4 years ago-
➕ 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.