1 result found Sort:

OxiDD
oxidd OxiDD
5
27
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
119 commits to main branch, last one 6 days ago