Program
Verification
Book

PV0 ⊧ CUDD: CU Decision Diagram packagea C package for manipulating decision diagrams

Library for the manipulation of decision diagrams (BDDs, ADDs, ZDDs).

Comments

ADD = algebraic decision diagram
BDD = binary decision diagram
ZDD = zero-suppressed BDD

ADD BDD Library

Links

Repository: https://github.com/ivmai/cudd

Last commit date: 01 Jan 2016 (default branch)
Last commit date: 21 Jan 2016 (last activity)

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by Q3B, PySMT, Storm, etc
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.