Skip to content

v2.3.1
Compare
Choose a tag to compare
@czengler czengler released this 01 Sep 08:23
· 129 commits to master since this release
v2.3.1
e5e5b09

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.
Assets 6
Loading