Versions

Description

Python package for Sentential Decision Diagrams (SDD).

Repository

https://github.com/wannesm/PySDD.git

Project Slug

pysdd

Last Built

1 month, 3 weeks ago passed

Maintainers

Badge

Tags

python, cython, sdd, model-counting, weighted-model-counting, knowledge-compilation

Short URLs

pysdd.readthedocs.io
pysdd.rtfd.io

Default Version

latest

'latest' Version

master