Projects in Awesome Lists tagged with knowledge-compilation
A curated list of projects in awesome lists tagged with knowledge-compilation .
https://github.com/ML-KULeuven/PySDD
Python package for Sentential Decision Diagrams (SDD)
cython knowledge-compilation model-counting python sdd weighted-model-counting
Last synced: 09 Jul 2025
https://github.com/meelgroup/waps
A state of the art Weighted and Projected Sampler
knowledge-compilation projection-sampling sampling-methods weighted-sampling
Last synced: 14 Jan 2026
https://github.com/jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
decision-diagram knowledge-compilation model-counting model-enumeration satisfiability-problem sdd sentential-decision-diagram
Last synced: 29 Jul 2025
