weighted-model-counting

There are 3 repositories under weighted-model-counting topic.

  • wannesm/PySDD

    Python package for Sentential Decision Diagrams (SDD)

    Language:Cython5271316

  • Mehran-k/L2C

    A compiler for lifted inference into C++ programs

    Language:Ruby3100

  • itl-ed/igre

    NAACL2022 Interactive Symbol Grounding with Complex Referential Expressions

    Language:Python1100