Linear Decision Diagram A library to help you with decision diagrams.
Download

Linear Decision Diagram Ranking & Summary

Linear Decision Diagram Tags

analysis Analyze arithmetic decision support decision decision advisor business decision decision program Decision Maker decision diagram decision displayer right decision diagrams analyze decision decision algorithm test decision algorithm decision rule synchronize diagrams decision ranking decision helper linear arithmetic predicate abstraction make Venn diagrams .net diagrams decision marking

Linear Decision Diagram Description

LDD is a data structure for representing formulas in linear arithmetic (LA) and its fragments. It is designed to be efficient for tasks that are at the core of many program analysis and software model checking techniques (e.g., predicate abstraction). Such tasks include Boolean manipulation and existential quantification of numeric variables from LA formulas. LDDs can be seen as an extension of Difference Decision Diagrams (DDDs) to full LA, and are implemented on top of the state-of-the-art CUDD package. Below you will find links to LDD-related documents and software releases.

Linear Decision Diagram Related Software