Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY
Junaid Babar, Andrew S. Miner · 2010
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.