GitHub topics: zdd
shnarazk/DDiL
BDD and ZDD in Lean4
Language: Lean - Size: 218 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0
Yousign/safe-migrations
Make your migrations safe
Language: PHP - Size: 30.3 KB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 17 - Forks: 0
tulip-control/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Language: Python - Size: 1.37 MB - Last synced at: 23 days ago - Pushed at: about 1 month ago - Stars: 196 - Forks: 40
OxiDD/oxidd
Concurrent decision diagram framework written in Rust
Language: Rust - Size: 2.94 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 59 - Forks: 9
SSoelvsten/adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
Language: C++ - Size: 13.1 MB - Last synced at: 22 days ago - Pushed at: about 2 months ago - Stars: 27 - Forks: 14
zepgram/module-zero-downtime-deployment
Disable native change detection from Magento2 to allow Zero Downtime Deployment Strategy.
Language: PHP - Size: 18.6 KB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 23 - Forks: 6
msakai/haskell-decision-diagrams
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Language: Haskell - Size: 213 KB - Last synced at: 19 days ago - Pushed at: 5 months ago - Stars: 13 - Forks: 6
logsem/adiar Fork of SSoelvsten/adiar
External Memory (Binary) Decision Diagrams
Language: C++ - Size: 6.51 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
F1LT3R/ansi-to-svg
😹 convert ANSI Escaped CLI strings to SVGs
Language: JavaScript - Size: 28.3 KB - Last synced at: 7 days ago - Pushed at: almost 6 years ago - Stars: 23 - Forks: 5
SSoelvsten/cudd
CUDD: CU Decision Diagram package - with CMake and extended C++
Language: C - Size: 2.37 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1
pcerman/bdd-racket
Implementation of the Binary Decision Diagrams in Racket
Language: Racket - Size: 162 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
ponlawat-w/php-frontier_zdd 📦
Finding all available paths in graph (PHP) using ZDD data structure and frontier-based
Language: PHP - Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
nlwmode/cudd
CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
Language: C - Size: 5.98 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
