figshare
Browse
- No file added yet -

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

Download (187.12 kB)
presentation
posted on 2020-01-24, 22:30 authored by Gianfranco CiardoGianfranco Ciardo, Andrew MinerAndrew Miner
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.

Funding

National Science Foundation ACI-1642397

History

Usage metrics

    Categories

    Keywords

    NSF-CSSI-2020-TalkDecision Diagramsstructured function encodingsComputer SoftwareData Structures

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC