LogicNG v2.3.2 Release Notes
Release Date: 2022-08-02 // about 1 year ago-
๐ Changed
- The cached PB and CC encodings are no longer held in the constraint itselt but analogously to the other caches in the formula factory.
๐ Fixed
- A small bug which could occur when using the extended formula factory in combination with cached CC and PB encodings.
Previous changes from v2.3.1
-
๐ Changed
- โ Removed
negativeVariables
from the internal representation ofAssignment
it is now computed each time the method is called. This leeds to a minimal performance disadvantage but to a proportional better memory footprint. The public API is not changed. - โก๏ธ Updated ANTLR to 4.9.3 (there were no relevant updates to the Java target, therefore no changes are expected for LogicNG)
๐ Fixed
- A small bug when comparing two backbones with the same set of negative/positive/optional variables but different satisfiability.
- โ Removed