All Versions
Latest Version
Avg Release Cycle
113 days
Latest Release
236 days ago

Changelog History
Page 3

  • v1.1.0 Changes

    August 29, 2016

    โž• Added

    • Implemented cardinality constraint encodings and pseudo-Boolean constraints encodings of PBLib
    • Incremental cardinality constraints, including the possibility to add cardinaliy constraints to the solver without introducing new formula factory variables
    • Different MUS algorithms
  • v1.0.0 Changes

    January 25, 2016

    โž• Added

    • ๐ŸŽ‰ Initial Release of LogicNG