crates.io "decision-diagrams" keyword
View the packages on the crates.io package registry that are tagged with the "decision-diagrams" keyword.
oxidd-cli 0.3.0
Command line interface for OxiDD7 versions - Latest release: 5 months ago - 6.09 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd 0.10.0
A safe, concurrent, modular, and performant decision diagram framework.6 versions - Latest release: 5 months ago - 1 dependent package - 8.43 thousand downloads total - 63 stars on GitHub - 1 maintainer
bex 0.3.0
A rust library for working with boolean expressions (syntax trees, decision diagrams, algebraic n...10 versions - Latest release: 5 months ago - 13 thousand downloads total - 33 stars on GitHub - 1 maintainer
sddrs 0.1.4
Bottom-up Sentential Decision Diagram compiler library.5 versions - Latest release: 8 months ago - 2.86 thousand downloads total - 5 stars on GitHub - 1 maintainer
ddo 2.0.0
DDO a generic and efficient framework for MDD-based optimization.30 versions - Latest release: over 1 year ago - 1 dependent repositories - 37.4 thousand downloads total - 62 stars on GitHub - 1 maintainer
Related Keywords
bdd
3
zdd
2
zbdd
2
binary-decision-diagrams
2
zero-suppressed-decision-diagrams
2
anf
1
diagram
1
boolean-expression
1
rust-crate
1
knowledge-base
1
boolean-functions
1
model-counting
1
sdd
1
decision-diagram
1
knowledge-compilation
1
model-enumeration
1
satisfiability-problem
1
sentential-decision-diagram
1
optimization
1
combinatorial
1
cp
1
solver
1
constraint-optimisation-problem
1
constraint-programming
1
constraint-satisfaction-problem
1
ddo
1
discrete-optimization
1
operations-research
1