#

sentential-decision-diagram

Here are 3 public repositories matching this topic...

thtran97 / Knowledge-Compilers

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

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

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++

Improve this page

Add a description, image, and links to the sentential-decision-diagram topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sentential-decision-diagram topic, visit your repo's landing page and select "manage topics."