pysdd (pypi): Sentential Decision Diagrams
Keywords: sdd|knowledge compilation|cython|knowledge-compilation|model-counting|python|weighted-model-counting