MEDDLY: Multi-terminal and Edge-valued Decision Diagram LibrarY

This poster describes the software library MEDDLY, currently being developed at Iowa State University with support of the National Science Foundation.

The decision diagrams supported by MEDDLY can compactly encode functions of L discrete variables (i.e., structured vectors) and of 2L variables (i.e., structured matrices), and these functions can assume boolean, integer, or even real values.

MEDDLY is being used in tools for hardware or software verification, integer constraint problems, Markov modeling, and combinatorial testing.