cudd

There are 8 repositories under cudd topic.

tulip-control/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Language:Python170 8 8440
thiagopbueno/dbn-pp
DBN++ Data Structures and Algorithms in C++ for Dynamic Bayesian Networks
Language:C++16 2 06
SSoelvsten/bdd-benchmark
Benchmarking Suite for BDD packages
Language:C++11 5 462
friguzzi/bddem
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
Language:C9 7 02
raghudotcc/ddctl
A BDD-based model checker (K ⊨ φ ) (CTL - Computational Tree Logic Only)
Language:Python2 1 00
mkhaled87/cudd-ready
A static-library version of the famous CUDD (Colorado University Decision Diagram) library.
Language:C0 1 00
deepanshnagaria/Summer-intern-project
CUDD Library in C for visualizing digital logic as BDDs( Binary Decision Digrams)
1 02
johnyf/cudd
Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>
Language:C2 04