Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
-
Updated
Jan 11, 2022 - Python
#
cudd
Here are 8 public repositories matching this topic...
DBN++ Data Structures and Algorithms in C++ for Dynamic Bayesian Networks
-
Updated
Feb 5, 2016 - C++
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
-
Updated
Feb 3, 2022 - C
Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>
-
Updated
Aug 4, 2021 - C
A static-library version of the famous CUDD (Colorado University Decision Diagram) library.
-
Updated
Feb 9, 2020 - C
CUDD Library in C for visualizing digital logic as BDDs( Binary Decision Digrams)
-
Updated
Oct 24, 2018
Improve this page
Add a description, image, and links to the cudd topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cudd topic, visit your repo's landing page and select "manage topics."
Unlike other packages, CUDD does not throw an error when its table gets full. Instead, it merely returns null and then the program silently is killed when using it (with an exit code of 1).
We should add to the CUDD package_mgr to check for null return values and kill the program with a meaningful message and a non-zero exit code.