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

1 year, 10 months ago failed

Maintainers

Badge

Tags

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

Project Privacy Level

Public

Short URLs

dd.readthedocs.io
dd.rtfd.io

Default Version

latest

'latest' Version

master