What is libDDD

libDDD is C++ library for manipulation of decision diagrams.

Main features include:

• Flexible and powerful encoding of operations using inductive homomorphisms
  
• Support for hierarchy of the description with SDD
• Automatic support for saturation style algorithms
• A priori unbounded integer domain variables
• Weak ordering constraint allowing to store variable length decision paths
• Supports both Data Decision Diagrams which are integer valued and Hierarchical Set Decision Diagrams.

libDDD is distributed under the terms of LGPL.