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

poster

posted on 24.01.2020 by Gianfranco Ciardo, Andrew Miner#### poster

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.