1 result found Sort:

wannesm
PySDD wannesm
17
53
other
7
Python package for Sentential Decision Diagrams (SDD)
sdd cython python model-counting knowledge-compilation weighted-model-counting
Created 2018-03-14
242 commits to master branch, last one 2 months ago