DDD : Library for manipulation of Data Decision Diagrams

科研组 : 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.

软件负责人 : Yann THIERRY-MIEG
http://ddd.lip6.fr
Mentions légales
网站导航