Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: cudd
SSoelvsten/bdd-benchmark
Benchmarking Suite for BDD packages
Language: C++ - Size: 818 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 11 - Forks: 2
tulip-control/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Language: Python - Size: 2.12 MB - Last synced: 15 days ago - Pushed: 22 days ago - Stars: 168 - Forks: 40
thiagopbueno/dbn-pp
DBN++ Data Structures and Algorithms in C++ for Dynamic Bayesian Networks
Language: C++ - Size: 229 KB - Last synced: about 1 month ago - Pushed: over 8 years ago - Stars: 14 - Forks: 6
johnyf/cudd
Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>
Language: C - Size: 1.97 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 3
mkhaled87/cudd-ready
A static-library version of the famous CUDD (Colorado University Decision Diagram) library.
Language: C - Size: 564 KB - Last synced: 8 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
raghudotcc/ddctl
A BDD-based model checker (K ⊨ φ ) (CTL - Computational Tree Logic Only)
Language: Python - Size: 1.48 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0
friguzzi/bddem
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
Language: C - Size: 8.47 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 9 - Forks: 2
deepanshnagaria/Summer-intern-project
CUDD Library in C for visualizing digital logic as BDDs( Binary Decision Digrams)
Size: 1.85 MB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 2
