DDD : Library for manipulation of Data Decision Diagrams
Team : MoVelibDDD 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-MIEGhttp://ddd.lip6.fr