DDD : Library for manipulation of Data Decision Diagrams

Team : MoVe

libDDD is a package for manipulation of Data Decision Diagrams and Hierarchical Set Decision Diagrams. It supports flexible data types and "saturation" algorithms to offer cutting edge performances using decision diagrams. It is a C++ package distributed under Gnu LGPL.

Software leader : Yann THIERRY-MIEG
http://ddd.lip6.fr