v1.5.0

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.