MEDDLY: Multi-terminal and Edge-valued Decision Diagram LibrarY
presentationposted on 24.01.2020 by Gianfranco Ciardo, Andrew Miner
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.