Poster2020-24x36.pdf (579.77 kB)

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

Download (579.77 kB)
poster
posted on 24.01.2020 by Gianfranco Ciardo, Andrew Miner
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.

Funding

National Science Foundation ACI-1642397

History

Licence

Exports

Licence

Exports