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

presentation

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

Academic presentations can be uploaded in their original slide format. Presentations are usually represented as slide decks. Videos of presentations can be uploaded as media.

This presentation 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.