v1.4.0

Added

• BDD package (based on Buddy) for creating, manipulating, and writing BDDs
  • Creation of BDDs from LogicNG formulas
  • CNF, DNF transformation of BDDs
  • Restriction, existential & universal quantifier elimination
  • Model counting & enumeration
  • Different static variable ordering heuristics (FORCE, DFS, BFS, MinMax)
  • Writing BDDs in the GraphViz .dot format
• Quine-McCluskey Implementation for minimizing canonical DNFs
• New formula transformation for anonymizing formulas

Changed

• Internal parser and IO improvements. Variables can now start with a digit.