dd

Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install dd

Dependencies

Releases

Version Released Bookworm
Python 3.11
Trixie
Python 3.13
Files
0.6.0 2023-12-16    
0.5.7 2022-01-11
0.5.6 2020-11-23
0.5.5 2020-02-20
0.5.4 2018-04-16
0.5.3 2017-10-17
0.5.2 2017-09-10
0.5.1 2017-03-23
0.5.0 2017-03-08
0.4.3 2017-02-13
0.4.2 2017-02-12
0.4.1 2016-09-09
0.4.0 2016-07-13
0.3.1 2016-05-23
0.3.0 2016-02-28
0.2.2 2016-02-22
0.2.1 2016-01-25
0.2.0 2015-11-06
0.1.3 2015-09-15    
0.1.2 2015-07-20    
0.1.1 2015-07-16    
0.0.4 2015-06-07
0.0.3 2015-04-18    
0.0.2 2015-03-21    
0.0.1 2015-02-28    

Issues with this package?

Page last updated 2026-09-03 02:24:08 UTC