4 results found Sort:

39
191
other
8
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Created 2014-10-17
1,356 commits to main branch, last one 4 months ago
7
57
apache-2.0
1
Concurrent decision diagram framework written in Rust
Created 2023-10-12
204 commits to main branch, last one 5 days ago
A performant and ergonomic implementation of binary decision diagrams for .NET
Created 2020-04-25
110 commits to master branch, last one about a year ago