Python package for Sentential Decision Diagrams (SDD)
-
Updated
Oct 29, 2024 - C
#
knowledge-compilation
Here are 6 public repositories matching this topic...
A toolbox for knowledge compilation
-
Updated
Nov 8, 2024 - C++
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
A state of the art Weighted and Projected Sampler
-
Updated
Jun 21, 2022 - Python
A Knowledge Compilation-based Uniform Sampler
-
Updated
Nov 6, 2020 - Python
Bottom-up sentential decision diagram compiler.
model-counting
sdd
knowledge-compilation
satisfiability-problem
decision-diagram
sentential-decision-diagram
model-enumeration
-
Updated
Nov 8, 2024 - Rust
Improve this page
Add a description, image, and links to the knowledge-compilation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the knowledge-compilation topic, visit your repo's landing page and select "manage topics."