swMATH ID: 4096
Software Authors:
Description: 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; Rich expressivity with equiv-split mechanism; Weak ordering constraint allowing to store variable length decision paths; Supports both Data Decision Diagrams which are integer valued and Hierarchical Set Decision Diagrams.
Homepage: http://move.lip6.fr/software/DDD/libddd.php
Keywords: decision diagrams; petri nets
Related Software: Renew; GreatSPN; LoLA; LOEWE; ITS-Tools; caesar.bdd; Meddly; PNMC; CAESAR; NUPN_INFO; PNML2NUPN; Petriweb; Exp.Open; LTSmin; CADP; TINA; LOTOS; BEEM; Tom; StrataGEM
Cited in: 6 Documents

Citations by Year