2 results found Sort:

tulip-control
dd tulip-control
39
178
other
8
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
bdd zdd cudd cython python sylvan binary-decision-diagrams
Created 2014-10-17
1,355 commits to main branch, last one 4 months ago
OxiDD
oxidd OxiDD
5
32
apache-2.0
1
Concurrent decision diagram framework written in Rust
bdd zdd zbdd binary-decision-diagrams zero-suppressed-decision-diagrams
Created 2023-10-12
144 commits to main branch, last one about a month ago