1 result found Sort:

ML-KULeuven
PySDD ML-KULeuven
17
54
other
7
Python package for Sentential Decision Diagrams (SDD)
sdd cython python model-counting knowledge-compilation weighted-model-counting
Created 2018-03-14
378 commits to master branch, last one 23 days ago