Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY

Authors:
Junaid Babar;Andrew Miner
Affiliations:
-;-
Venue:
QEST '10 Proceedings of the 2010 Seventh International Conference on the Quantitative Evaluation of Systems
Year:
2010

Citing 0
Cited 1

Ten years of saturation: a petri net perspective

Transactions on Petri Nets and Other Models of Concurrency V

Quantified Score

Hi-index	0.00

Visualization

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.