MEDDLY: Multi-terminal and Edge-valued Decision Diagram LibrarY
posterposted on 24.01.2020 by Gianfranco Ciardo, Andrew Miner
Poster sessions are particularly prominent at academic conferences. Posters are usually one frame of a powerpoint (or similar) presentation and are represented at full resolution to make them zoomable.
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.