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/johnyf/dd

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (0.6.0)

3 maintainers

PyPI data
Data sourced directly from PyPI's database.
Avatar for johnyf from gravatar.com johnyf Avatar for murrayrm from gravatar.com murrayrm Avatar for slivingston from gravatar.com slivingston

Credits

Author: Ioannis Filippidis

License

BSD License (BSD)

Tags

bdd binary decision diagram decision diagram boolean networkx dot

Classifiers

Report project as malware

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.5.2.tar.gz (317.4 kB view details)

Uploaded Source

File details

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

File metadata

  • Download URL: dd-0.5.2.tar.gz
  • Upload date:
  • Size: 317.4 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for dd-0.5.2.tar.gz
Algorithm Hash digest
SHA256 c03359affa44ee8ceb52625173ec45f650be6435b0eda7f7feece9b19f6f2ace
MD5 f4c98a0afa390e009f934642ec95290a
BLAKE2b-256 bef30f582f5601ba5c8084d734b628a5780ec2dc46fd1ec5740f10159ee4d724

See more details on using hashes here.

Supported by

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