weighted-model-counting

There are 0 repository under weighted-model-counting topic.

wannesm / PySDD
Python package for Sentential Decision Diagrams (SDD)
python cython sdd knowledge-compilation weighted-model-counting model-counting
Language:Cython 49
Mehran-k / L2C
A compiler for lifted inference into C++ programs
lifted-inference l2c-compiler weighted-model-counting
Language:Ruby 3
itl-ed / igre
NAACL2022 Interactive Symbol Grounding with Complex Referential Expressions
few-shot-classifcation formal-semantics logic semantics weighted-model-counting
Language:Python 1

wannesm / PySDD