LogicNG v2.3.2 Release Notes

Release Date: 2022-08-02 // 6 months 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.