Topic: "knowledge-compilation"
ML-KULeuven/PySDD
Python package for Sentential Decision Diagrams (SDD)
Language: C - Size: 1.95 MB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 57 - Forks: 18
meelgroup/KCBox
A toolbox for knowledge compilation
Language: C++ - Size: 10.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 21 - Forks: 5
meelgroup/WAPS
A state of the art Weighted and Projected Sampler
Language: Python - Size: 2.57 MB - Last synced at: 17 days ago - Pushed at: almost 3 years ago - Stars: 6 - Forks: 0
meelgroup/KUS
A Knowledge Compilation-based Uniform Sampler
Language: Python - Size: 2.44 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 1
jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
Language: Rust - Size: 277 KB - Last synced at: 8 days ago - Pushed at: 5 months ago - Stars: 5 - Forks: 0
thtran97/Knowledge-Compilers
A Python (re-)implementation of some known knowledge compilers
Language: Python - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0
