Repository
github.com/johnyf/dd
Project Slug
dd
Last Built
6 years, 3 months ago
failed
Maintainers
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/dd/badge/?version=latest
:target: https://dd.readthedocs.io/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[](https://dd.readthedocs.io/en/latest/?badge=latest)
-
HTML
<a href='https://dd.readthedocs.io/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/dd/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
bdd,
binary-decision-diagrams,
cudd,
cython,
python,
sylvan
Short URLs
dd.readthedocs.io
dd.rtfd.io
Default Version
latest
'latest' Version
master
