thtran97 / Knowledge-Compilers Star 6 Code Issues Pull requests A Python (re-)implementation of some known knowledge compilers compiler binary-decision-diagrams conjunctive-normal-form knowledge-compilation cnf2ddnnf negation-normal-form sentential-decision-diagram tractable-queries Updated Jul 10, 2021 Python
jsfpdn / sdd-rs Star 6 Code Issues Pull requests Bottom-up sentential decision diagram compiler. model-counting sdd knowledge-compilation satisfiability-problem decision-diagram sentential-decision-diagram model-enumeration Updated Dec 16, 2024 Rust
whitemech / cynthia Star 4 Code Issues Pull requests SDD-based Forward LTLf Synthesis cpp linear-temporal-logic sdd and-or-graphs and-or-search sentential-decision-diagram finite-synthesis temporal-logics-on-finite-traces Updated Jan 15, 2023 C++
Lipen / ananke Star 3 Code Issues Pull requests 🌵 Decision Diagrams for Rust rust bdd decision-diagrams zdd sdd knowledge-compilation zero-suppressed-dicision-diagram binary-decision-diagram sentential-decision-diagram Updated Dec 19, 2025 Rust