« Changelog History


LogicNG v1.5.0 Release Notes

Release Date: 2019-03-17 // about 5 years ago

  • ➕ Added

    • Algorithm & data structures for efficiently computing backbones of formulas
    • Data structures for UBTrees in order to efficiently identify sub- and supersets
    • CNF and DNF subsumption as formula transformations
    • Backbone simplifier (compute and propagate the backbone of a formula)
    • 🖨 A new sorted formula formatter which respects a given variable ordering when printing formulas

    🔄 Changed

    • 🔨 Minor code refactorings and improvements

    🗄 Deprecated

    • 🚚 Deprecation of CleaneLing - this solver will be removed in future versions.