Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "decision-diagrams" keyword
ddo 2.0.0
DDO a generic and efficient framework for MDD-based optimization.30 versions - Latest release: 3 months ago - 1 dependent repositories - 13 thousand downloads total - 53 stars on GitHub - 1 maintainer
oxidd 0.6.0
A safe, concurrent, modular, and performant decision diagram framework.2 versions - Latest release: about 2 months ago - 1 dependent package - 521 downloads total - 25 stars on GitHub - 1 maintainer
bex 0.2.0
A rust library for working with boolean expressions (syntax trees, decision diagrams, algebraic n...9 versions - Latest release: about 1 year ago - 4.07 thousand downloads total - 31 stars on GitHub - 1 maintainer
oxidd-cli 0.1.0
Command line interface for OxiDD1 version - Latest release: about 2 months ago - 170 downloads total - 25 stars on GitHub - 1 maintainer
Related Keywords
bdd
3
zero-suppressed-decision-diagrams
2
binary-decision-diagrams
2
zdd
2
zbdd
2
rust-crate
1
boolean-expression
1
anf
1
diagram
1
operations-research
1
discrete-optimization
1
ddo
1
constraint-satisfaction-problem
1
constraint-programming
1
constraint-optimisation-problem
1
solver
1
cp
1
combinatorial
1
optimization
1