GitHub topics: knowledge-compilation
ropeless/compiled_knowledge
CompiledKnowledge is a Python package for compiling and querying discrete probabilistic graphical models.
Language: Python - Size: 868 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0
ML-KULeuven/PySDD
Python package for Sentential Decision Diagrams (SDD)
Language: C - Size: 1.95 MB - Last synced at: 27 days ago - Pushed at: 4 months ago - Stars: 62 - Forks: 18
jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
Language: Rust - Size: 277 KB - Last synced at: 18 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 0
meelgroup/KCBox
A toolbox for knowledge compilation
Language: C++ - Size: 10.2 MB - Last synced at: 5 months ago - Pushed at: 5 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: 2 months ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 0
meelgroup/KUS
A Knowledge Compilation-based Uniform Sampler
Language: Python - Size: 2.44 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 1
thtran97/Knowledge-Compilers
A Python (re-)implementation of some known knowledge compilers
Language: Python - Size: 146 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0
