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

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

Comments

ADD BDD Library

Links

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

Last commit date

20 January 2016

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.