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

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.