thtran97 / Knowledge-Compilers Star 7 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
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++
jsfpdn / sdd-rs Star 4 Code Issues Pull requests Bottom-up sentential decision diagram compiler. decision-diagrams satisfiability model-counting sdd sentential-decision-diagram Updated May 15, 2024 Rust