Skip to main content

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

Project description

dd is a package for working with binary decision diagrams that includes both a pure Python implementation and Cython bindings to C libraries (CUDD, Sylvan, BuDDy). The Python and Cython modules implement the same API, so the same user code runs with both. All the standard operations on BDDs are available, including dynamic variable reordering using sifting, garbage collection, dump/load from files, plotting, and a parser of quantified Boolean expressions. More details can be found in the README at: https://github.com/tulip-control/dd

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

dd-0.6.0.tar.gz (1.1 MB view details)

Uploaded Source

Built Distributions

dd-0.6.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.2 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.17+ x86-64

dd-0.6.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.3 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.17+ x86-64

dd-0.6.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.4 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

File details

Details for the file dd-0.6.0.tar.gz.

File metadata

  • Download URL: dd-0.6.0.tar.gz
  • Upload date:
  • Size: 1.1 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.12.1+

File hashes

Hashes for dd-0.6.0.tar.gz
Algorithm Hash digest
SHA256 4baadadc9b2ebf6136a5b84dc51a43cec5fe91203286cd377e1e093358cdffcd
MD5 f846f4f667381700f07488cbe0055da3
BLAKE2b-256 18b257a2d7151e7e904092e0411f79e8dadfc3ae143679236a9dec88f4667f8a

See more details on using hashes here.

File details

Details for the file dd-0.6.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for dd-0.6.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 bb46d9f633641927d266d098d507a5759644469ea416862f83781511cd6ca14d
MD5 bf3122cb127ba4445756e6cead30fee8
BLAKE2b-256 f281f08b633c94a2fa804e2b564900eb4abf8d6bbaa89ab711174079903f9182

See more details on using hashes here.

File details

Details for the file dd-0.6.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for dd-0.6.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c6467c987f2aacb08d61b941c1c2fe136a157e6d7d69d05e2f8e502c6afa7f21
MD5 e2282b0aff4cbfa2d203efaeb918ffc5
BLAKE2b-256 cdf346a27002757637b09a94dff4c623fff32a6a0521bd3e90a51a75e7fda341

See more details on using hashes here.

File details

Details for the file dd-0.6.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for dd-0.6.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 a58fba04d83c7b313da4542e891d8c7325300bfddfb29808721cb460ce8bb758
MD5 c98c5447c3ac2f3094075ae9731689d3
BLAKE2b-256 061e41c41fa9ba785045fe6325f168700aa73a3a86da4d6c0f690511d1e2b65e

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page