Title :
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY
Author :
Babar, Junaid ; Miner, Andrew
Author_Institution :
Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
Abstract :
This paper introduces Meddly (Multi-terminal and Edge-valued Decision Diagram LibrarY), an open-source C/C++ library designed from its conception to support Multi-Terminal and Edge-Valued Decision Diagrams. We highlight Meddly´s simple and expert interfaces, its loosely-coupled architecture, and the operations available on decision diagrams and conclude with some performance data.
Keywords :
C++ language; decision diagrams; graph theory; C library; C++ library; Meddly library; edge-valued decision diagrams; multiterminal decision diagrams; open-source library; Arrays; Boolean functions; Libraries; Markov processes; Petri nets; Stochastic systems; Tools; decision diagrams;
Conference_Titel :
Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the
Conference_Location :
Williamsburg, VA
Print_ISBN :
978-1-4244-8082-1
DOI :
10.1109/QEST.2010.34