libDDD 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 all top 5 Cited by 10 Authors 4 Thierry-Mieg, Yann 3 Hamez, Alexandre 3 Kordon, Fabrice 2 Poitrenaud, Denis 1 Duret-Lutz, Alexandre 1 Garavel, Hubert 1 Klai, Kais 1 Magnin, Morgan 1 Paulevé, Loïc 1 Roux, Olivier F. Cited in 2 Serials 1 Fundamenta Informaticae 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 6 Computer science (68-XX) 1 Biology and other natural sciences (92-XX) Citations by Year