xgillard / ddo Star 62 Code Issues Pull requests DDO a generic and efficient framework for MDD-based optimization. constraint-satisfaction-problem constraint-programming operations-research decision-diagrams ddo discrete-optimization constraint-optimisation-problem Updated Apr 28, 2025 Rust
tangentstorm / bex Star 33 Code Issues Pull requests Discussions A rust crate for boolean expressions (expression trees, decision diagrams, etc.) boolean-expression decision-diagrams rust-crate Updated Feb 28, 2025 Rust
tchupp / ignition Star 5 Code Issues Pull requests Rust powered engine for solving Boolean satisfiability problems rust decision-diagrams robdd boolean-satisfiability Updated May 13, 2020 Rust
its2ru3 / qdd_rs Star 0 Code Issues Pull requests A Quantum Circuit Simulator using Decision Diagrams and Error Correction in Rust rust simulator graph-algorithms quantum rust-lang quantum-computing decision-diagrams quantum-computer-simulator graph-based-model quantumcircuits Updated Mar 2, 2025 Rust