Explore projects
-
C++ implementation of the DEPM algorithm
archived 2Updated -
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
Updated -
archived 0Updated
-
The Colorado University Decision Diagram (CUDD) package is written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).
Updated -
Bit-array backed Binary Decision Diagram solver
Updated