All Versions
22
Latest Version
Avg Release Cycle
113 days
Latest Release
899 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