LogicNG v2.3.2 Release Notes

Release Date: 2022-08-02 // over 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 of Assignment 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.