dd

Versions

Description

Binary Decision Diagrams (BDDs) in pure Python and Cython bindings to CUDD and BuDDy https://pypi.python.org/pypi/dd

Repository

github.com/johnyf/dd

Project Slug

dd

Last Built

3 years, 9 months ago failed

Maintainers

Badge

Tags

python, bdd, cython, sylvan, binary-decision-diagrams, cudd

Short URLs

dd.readthedocs.io
dd.rtfd.io

Default Version

latest

'latest' Version

master