Meddly (Multi-terminal and Edge-valued Decision Diagram LibrarY) is a C++ library that natively supports various types of decision diagrams, including BDDs, MDDs, MTMDDs, EV+MDDs, and EV*MDDs. Advanced features include: compact and customizable node storage, configurable garbage collection, and many built-in operations (with compute table support).
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Jezequel, Loïg; Lime, Didier; Sérée, Bastien: A lazy query scheme for reachability analysis in Petri nets (2021)
- Garavel, Hubert: Nested-unit Petri nets (2019)
- Amparore, Elvio Gilberto; Beccuti, Marco; Donatelli, Susanna: (Stochastic) model checking in GreatSPN (2014) ioport
- Cordero, Francesca; Horváth, András; Manini, Daniele; Napione, Lucia; De Pierro, Massimiliano; Pavan, Simona; Picco, Andrea; Veglio, Andrea; Sereno, Matteo; Bussolino, Federico; Balbo, Gianfranco: Simplification of a complex signal transduction model using invariants and flow equivalent servers (2011)