Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Dd | 154 | 15 | 15 | 4 months ago | 24 | January 11, 2022 | 2 | other | Python | |
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy | ||||||||||
Decisiondiagrams | 41 | 1 | 8 months ago | 20 | August 30, 2023 | mit | C# | |||
A performant and ergonomic implementation of binary decision diagrams for .NET | ||||||||||
Sylvan | 38 | 5 months ago | 4 | apache-2.0 | C | |||||
Multi-core Decision Diagram (BDD/LDD) implementation | ||||||||||
Bex | 31 | 5 months ago | 9 | April 22, 2023 | 5 | mit | Rust | |||
A rust crate for boolean expressions (expression trees, decision diagrams, etc.) | ||||||||||
Cupl | 29 | 2 | a year ago | 13 | April 08, 2020 | 15 | TypeScript | |||
Easily manage Cucumber Gherkin files using PlantUML activity diagrams | ||||||||||
Binary Decision Diagram | 28 | 3 | 3 months ago | 21 | November 23, 2023 | 1 | apache-2.0 | TypeScript | ||
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram | ||||||||||
Lightbdd | 8 | 6 years ago | mit | Java | ||||||
A simple Binary Decision Diagram library in Java | ||||||||||
Bddsharp | 7 | 6 years ago | 7 | January 13, 2019 | 1 | mit | C# | |||
BDDSharp is a C# library for manipulating roBDDs (Reduced Ordered Binary Decision Diagrams). |