OxiDD

These are the Python bindings for OxiDD, a highly modular decision diagram framework written in Rust. The most prominent instance of decision diagrams is provided by (reduced ordered) binary decision diagrams (BDDs), which are succinct representations of Boolean functions 𝔹ⁿ → 𝔹. Such BDD representations are canonical and thus, deciding equality of Boolean functions—in general a co-NP-complete problem—can be done in constant time. Further, many Boolean operations on two BDDs f,g are possible in 𝒪(|f| · |g|) (where |f| denotes the node count in f). There are various other kinds of decision diagrams for which OxiDD aims to be a framework enabling high-performance implementations with low effort.

Features

Several kinds of (reduced ordered) decision diagrams are already implemented:
- Binary decision diagrams (BDDs)
- BDDs with complement edges (BCDDs)
- Zero-suppressed BDDs (ZBDDs, aka ZDDs/ZSDDs)
- Not yet exposed via the Python API: Multi-terminal BDDs (MTBDDs, aka ADDs) and Ternary decision diagrams (TDDs)
Extensibility: Due to OxiDD’s modular design, one can implement new kinds of decision diagrams without having to reimplement core data structures.
Concurrency: Functions represented by DDs can safely be used in multi-threaded contexts. Furthermore, apply algorithms can be executed on multiple CPU cores in parallel.
Performance: Compared to other popular BDD libraries (e.g., BuDDy, CUDD, and Sylvan), OxiDD is already competitive or even outperforms them.
Visualization: Display your DDs with ease through OxiDD-vis.
Support for Reordering: OxiDD can reorder a decision diagram to a given variable order. Support for dynamic reordering, e.g., via sifting, is about to come.

Licensing

OxiDD is licensed under either MIT or Apache 2.0 at your opinion.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this project by you, as defined in the Apache 2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Publications

The seminal paper presenting OxiDD was published at TACAS'24. If you use OxiDD, please cite us as:

Nils Husung, Clemens Dubslaff, Holger Hermanns, and Maximilian A. Köhl: OxiDD: A safe, concurrent, modular, and performant decision diagram framework in Rust. In: Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’24)

@inproceedings{oxidd24,
  author        = {Husung, Nils and Dubslaff, Clemens and Hermanns, Holger and K{\"o}hl, Maximilian A.},
  booktitle     = {Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'24)},
  title         = {{OxiDD}: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in {Rust}},
  year          = {2024},
  doi           = {10.1007/978-3-031-57256-2_13}
}

Acknowledgements

This work is partially supported by the German Research Foundation (DFG) under the projects TRR 248 (see https://perspicuous-computing.science, project ID 389792660) and EXC 2050/1 (CeTI, project ID 390696704, as part of Germany’s Excellence Strategy).

Download files

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

Source Distribution

oxidd-0.12.0.tar.gz (2.3 MB view details)

Uploaded Jul 8, 2026 Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

oxidd-0.12.0-pp311-pypy311_pp73-win_amd64.whl (463.9 kB view details)

Uploaded Jul 8, 2026 PyPyWindows x86-64

oxidd-0.12.0-pp311-pypy311_pp73-musllinux_1_2_x86_64.whl (600.9 kB view details)

Uploaded Jul 8, 2026 PyPymusllinux: musl 1.2+ x86-64

oxidd-0.12.0-pp311-pypy311_pp73-musllinux_1_2_i686.whl (643.3 kB view details)

Uploaded Jul 8, 2026 PyPymusllinux: musl 1.2+ i686

oxidd-0.12.0-pp311-pypy311_pp73-musllinux_1_2_aarch64.whl (582.4 kB view details)

Uploaded Jul 8, 2026 PyPymusllinux: musl 1.2+ ARM64

oxidd-0.12.0-pp311-pypy311_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (602.0 kB view details)

Uploaded Jul 8, 2026 PyPymanylinux: glibc 2.17+ x86-64

oxidd-0.12.0-pp311-pypy311_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (675.5 kB view details)

Uploaded Jul 8, 2026 PyPymanylinux: glibc 2.17+ i686

oxidd-0.12.0-pp311-pypy311_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (584.9 kB view details)

Uploaded Jul 8, 2026 PyPymanylinux: glibc 2.17+ ARM64

oxidd-0.12.0-pp311-pypy311_pp73-macosx_11_0_arm64.whl (572.0 kB view details)

Uploaded Jul 8, 2026 PyPymacOS 11.0+ ARM64

oxidd-0.12.0-pp311-pypy311_pp73-macosx_10_12_x86_64.whl (601.6 kB view details)

Uploaded Jul 8, 2026 PyPymacOS 10.12+ x86-64

oxidd-0.12.0-cp314-cp314t-win_arm64.whl (440.5 kB view details)

Uploaded Jul 8, 2026 CPython 3.14tWindows ARM64

oxidd-0.12.0-cp314-cp314t-win_amd64.whl (458.2 kB view details)

Uploaded Jul 8, 2026 CPython 3.14tWindows x86-64

oxidd-0.12.0-cp314-cp314t-musllinux_1_2_x86_64.whl (592.9 kB view details)

Uploaded Jul 8, 2026 CPython 3.14tmusllinux: musl 1.2+ x86-64

oxidd-0.12.0-cp314-cp314t-musllinux_1_2_aarch64.whl (577.5 kB view details)

Uploaded Jul 8, 2026 CPython 3.14tmusllinux: musl 1.2+ ARM64

oxidd-0.12.0-cp314-cp314t-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (596.9 kB view details)

Uploaded Jul 8, 2026 CPython 3.14tmanylinux: glibc 2.17+ x86-64

oxidd-0.12.0-cp314-cp314t-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (577.2 kB view details)

Uploaded Jul 8, 2026 CPython 3.14tmanylinux: glibc 2.17+ ARM64

oxidd-0.12.0-cp314-cp314t-macosx_11_0_arm64.whl (558.0 kB view details)

Uploaded Jul 8, 2026 CPython 3.14tmacOS 11.0+ ARM64

oxidd-0.12.0-cp314-cp314t-macosx_10_12_x86_64.whl (585.2 kB view details)

Uploaded Jul 8, 2026 CPython 3.14tmacOS 10.12+ x86-64

oxidd-0.12.0-cp39-abi3-win_arm64.whl (450.1 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+Windows ARM64

oxidd-0.12.0-cp39-abi3-win_amd64.whl (465.2 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+Windows x86-64

oxidd-0.12.0-cp39-abi3-musllinux_1_2_x86_64.whl (604.2 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+musllinux: musl 1.2+ x86-64

oxidd-0.12.0-cp39-abi3-musllinux_1_2_i686.whl (642.0 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+musllinux: musl 1.2+ i686

oxidd-0.12.0-cp39-abi3-musllinux_1_2_armv7l.whl (587.4 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+musllinux: musl 1.2+ ARMv7l

oxidd-0.12.0-cp39-abi3-musllinux_1_2_aarch64.whl (582.5 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+musllinux: musl 1.2+ ARM64

oxidd-0.12.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (605.0 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+manylinux: glibc 2.17+ x86-64

oxidd-0.12.0-cp39-abi3-manylinux_2_17_i686.manylinux2014_i686.whl (676.5 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+manylinux: glibc 2.17+ i686

oxidd-0.12.0-cp39-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (589.9 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+manylinux: glibc 2.17+ ARMv7l

oxidd-0.12.0-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (587.0 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+manylinux: glibc 2.17+ ARM64

oxidd-0.12.0-cp39-abi3-macosx_11_0_arm64.whl (575.1 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+macOS 11.0+ ARM64

oxidd-0.12.0-cp39-abi3-macosx_10_12_x86_64.whl (600.6 kB view details)

Uploaded Jul 8, 2026 CPython 3.9+macOS 10.12+ x86-64

File details

Details for the file oxidd-0.12.0.tar.gz.

File metadata

Download URL: oxidd-0.12.0.tar.gz
Upload date: Jul 8, 2026
Size: 2.3 MB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for oxidd-0.12.0.tar.gz
Algorithm	Hash digest
SHA256	`227fba7ce259a930ea59a9b833e46c620ee644b055a58337a26104ad0b396442`
MD5	`eaec66cb451178ae21ffe55a56ca7974`
BLAKE2b-256	`54ac4ed68e249dead40a2474bb09162744b769fc5fdd9eb00baf590fed1c4946`

Algorithm	Hash digest
SHA256	`1e269db8641e48696889242a5c4e5b2ccf0c2a3a006473533e7448a801b473d8`
MD5	`ac6720d139828e1c0045dac7481bc66a`
BLAKE2b-256	`bda4ef00cd3e5abc9bbba19c18976936c7a5c49fad5d61c02b79200c1048c7d0`

Algorithm	Hash digest
SHA256	`00d430a514f2354870fc44da7a30ad918a50d223c9180511100e8389ae716aa3`
MD5	`8ff5e2c1bb2ed418ebb1cfbba45f5857`
BLAKE2b-256	`261baf01e357ae345d5b27f938ee74f017b096c1fd0a704f846bff9a2f5fc894`

Algorithm	Hash digest
SHA256	`6055406221765da841d3536385cf4dd30c08c7046e136370dbb9421c40b00fb1`
MD5	`e28c777147fb0cbf1c30cb3dc256a673`
BLAKE2b-256	`d5da036f7126135ab2b5617eee9df8a057edc6de5f412884404f7fb1989c59ae`

Algorithm	Hash digest
SHA256	`091e435b84ab987284e757ae622872a8512eed26333c1944b287d8884548f92a`
MD5	`b259038f351adaaeabcb7ea4144d7a6e`
BLAKE2b-256	`bf8ef246f852134edc34f472d96c7f1bf6b2ccaa0fa364a2e34063df9d074bd4`

Algorithm	Hash digest
SHA256	`7934a3c8e81c74a00374d72c7c1a575a5f62bd783b0e5b0ff41b0d5e1ebe6f70`
MD5	`9b2dc39dfe3bc5bbba6a42f32c45aef1`
BLAKE2b-256	`61aabe7aa525f6a14b1b28a9e7db24081a4dae0d97116be194eb1d6a9774dbcf`

Algorithm	Hash digest
SHA256	`f6d8ec064db09fe5368be9c85f3a2e3e39d0d95801b0c0349f142aaa20b66d3b`
MD5	`b1f0b6a86e67ab4592d0cc315dc36d20`
BLAKE2b-256	`1513e959981b9263cee5ff91a758850d88a657301a825a5b93b4f1edeb8fab25`

Algorithm	Hash digest
SHA256	`e0d97e848ee8e043b0020906a3d5e66ac5a8524d6d24c6a5ace0da01c4409cb2`
MD5	`5ec7a6f4a43614c7de5e414c793868a5`
BLAKE2b-256	`218d2c1e741db1a542020c60a1ae4134e3d39346b1f25090225846867f0ca8b7`

Algorithm	Hash digest
SHA256	`e0b3f69e18f3844dc4ede670365540652a9daacc7f5c92b6dd05743ff0d16af2`
MD5	`465b771ae9fadd8b7d8f174e3eec5cb0`
BLAKE2b-256	`2a2e8665810367aad01f43b464346e540eb3a53ceecf844624dfe99ca6d48d7f`

Algorithm	Hash digest
SHA256	`0067f038b5ba4c648646cd72794805101fb0d910998de71b143c0cee8e8d967a`
MD5	`01f0145b53d563376c9cbd77e1369ef5`
BLAKE2b-256	`453aba76edf1e031e2da51bef788e534645d332804536085b50fb0fe59c4dca5`

Algorithm	Hash digest
SHA256	`6a5ba13e405f62805a0b8805ac6e72135cb00226b386d85e012ac4b01d3d86c9`
MD5	`a7862f1dbcf3ad66532633b1c2db7e37`
BLAKE2b-256	`7868369878aa2e35634e9f50096aa0689ed454465baba1d394fab16dcdac2a4e`

Algorithm	Hash digest
SHA256	`c21021d89694665c5ec75ad7bc03d897625e70e2cdb4fa54d69d942b5df3a38e`
MD5	`5bec2cf1e6403ac6a66e0b33b7b8152e`
BLAKE2b-256	`69f1585f33f437593e84ddbb5943c9aefe37bbbe318d8a99395fea60c426109c`

Algorithm	Hash digest
SHA256	`754b84df3655f2b5b1edd853de3fdb157bc1dc3493ec353d1c7fd9960bc34e6d`
MD5	`717cbacd2b69af7f1410bbdbd01a6f39`
BLAKE2b-256	`e55653d79cb15d9a369e0df462ffbc45ba709a2bdcd1849efa290719750b3bd2`

Algorithm	Hash digest
SHA256	`0155fa264716742e3479ec5694d18e766e100150993421f9c83127c84ee225c8`
MD5	`73a2706e6cc5c99d966db21a19a7014a`
BLAKE2b-256	`a6119d3e9fb97d5c2f2a782dfcd32b470260248d10c245cd52c792db4c35ebe3`

Algorithm	Hash digest
SHA256	`c73ee80db9a85cbc51b5771d27e7d3afab4cbf1060fab7ac32f2b02ad619de95`
MD5	`3759b71b13b0e1edefd248ea91141fc5`
BLAKE2b-256	`07256b2431ae07285ef5ae5f3c59ca7a10c707693830b80f8981952a15e9c2d6`

Algorithm	Hash digest
SHA256	`521223f8217f2357226c1de7f3291d0942ecedd3b4622b41f12b7652b2f5def2`
MD5	`d096839b52e69e622849457460d5064c`
BLAKE2b-256	`84f2999a3c77672b5eb7e72b7f8c86f212825c69bf225df4a508cc8ab7fcef2e`

Algorithm	Hash digest
SHA256	`0760c935f2d344137cbbdae645dd6dda2956d3d2f4382d274b8ba8864430374b`
MD5	`8439c91c5a79b64a71455bbfd1380eb5`
BLAKE2b-256	`f16eccc11a4718e41cd7e937326a69fc49b840ba2f64a5698e52b0110cf1ab2f`

Algorithm	Hash digest
SHA256	`8d3b7c08149ff8eee4916f4b0d45b21c58685ec1dfc3a828239838ce20baded1`
MD5	`c19e588a9dcdb50a5ccefa0a477ffc97`
BLAKE2b-256	`057d16855ff72fb75b894ccbff32c691e03b468f8ba17ebeed9fbdb4928acbc3`

Algorithm	Hash digest
SHA256	`28763f9a2d3a54ff5cd690e88d4928a281d460f84b6f8b08f8fc16128de06934`
MD5	`944a02dc0daae315b5234327e92c4652`
BLAKE2b-256	`82b6173be4817e2201cc3badd32fd9557b883fe607c92981ce90b2cc73ed8ef8`

Algorithm	Hash digest
SHA256	`6b43d76706a15a82e0541b74cbad7ac0b7d60bb082da8762b9154f06438643b5`
MD5	`a24345a2d9b3ef30d601dc6479c63ce1`
BLAKE2b-256	`bd6dee0e39f543d06948ea701ef8639a554bbbb06afd4d12f5e7cda5a3f4c2e4`

Algorithm	Hash digest
SHA256	`40d46c31c4e933d81276f1a8ad8bc6c911defc4d9e6cc9248cd06aa91e2e4b3a`
MD5	`69c6c012cca68cda7e04152308fed962`
BLAKE2b-256	`211f8b9336f18a9a6d42099a1852d5b47df0e082607a631f5344dca5dd071333`

oxidd 0.12.0

OxiDD

Features

Licensing

Publications

Acknowledgements

Project links

Key dates

2 maintainers

Credits

GitHub Statistics

License

Requires

Provides Extra

Tags

Classifiers

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

Algorithm	Hash digest
SHA256	`0c46ecf74d875b0efd4b5f8b410e2b29aeea4d5c0087800159445296f05e210a`
MD5	`04d4d890066052da6a446578079bdbb2`
BLAKE2b-256	`5cc91ed349f2a25ec09b5668e57cda735495b4c8ff202ab07b59cf97b6831561`

Algorithm	Hash digest
SHA256	`69f728811c827c83903d02b96fc7ce2431f320ac240456f68770b63f89bad8d9`
MD5	`47979b63979df28a2b8ac3874ca5dc14`
BLAKE2b-256	`e20cb87555b2c63c27df362b945328a02bede77ae58029a8d5b10a00e4bfb163`

Algorithm	Hash digest
SHA256	`0c46d57af4b9fe5ba357cb647ab428e350647a65f002ebb4a412fdbefe549f57`
MD5	`69499c2b0b8c2df6421a92c07fdcd764`
BLAKE2b-256	`3bf76b0e5f49eb1746ed57ecdccb9d4633770a80c212f70508a3e60f313e5c56`

Algorithm	Hash digest
SHA256	`8377f82f83d0c024803c76da1fe2fb9118e4db52cc8a5ab1e8ba2cbfd2575452`
MD5	`1d13e6dff69f7e839a21a48fdd8b8a62`
BLAKE2b-256	`51e2bc9c940ece0012b3f89f006baf3062d10e39ef7a2e6d5f1f5c85d4f22b4c`

Algorithm	Hash digest
SHA256	`4c5adea860080626ac346457a1d6330117e81b9290fdda88407b976fda65a7d9`
MD5	`2ae009de8485f747908e9afb05ebd2dc`
BLAKE2b-256	`ac2675aaea48700e600183ef3815ab645b0ccf9329ccbce18e8bafa399e93bea`

Algorithm	Hash digest
SHA256	`616f94a5ef2343931d3f0f0ff40294923c68c837e3b96fa8eb8a5ae81cd15b2a`
MD5	`047141ab6d1ce76dfdf84fc54d33b34f`
BLAKE2b-256	`925d3b2c17754278890dec738b07b3d83583464478b01ec648a9eb7bcc8060c2`

Algorithm	Hash digest
SHA256	`0d6efbf085d3b44dab5bc168858b910581c8a5b6e3fce593be2f61689820cc3f`
MD5	`b05a9e18a429d71aff6b3761f4bfc30d`
BLAKE2b-256	`0f74cde0aea2e20d103ac243fd64868b1541cd9362df93d64a867b7b41fb590b`

Algorithm	Hash digest
SHA256	`1816fdfeb8e9caf1fab41eebd3ca7ff8c7f4ca165712ed4a7e365bd1a0339186`
MD5	`db26f32b3c5f065592f48dc0b5424cf5`
BLAKE2b-256	`4d95667273c2e851f7975d3d2a977d7c12c41be5ac89e3e926326b4d62f53dfd`

Algorithm	Hash digest
SHA256	`ef59059685d4ee18353cfaf9f56873ce04d40f770938980837145db8f7336b41`
MD5	`a10900bbce4af1c103016708c7639820`
BLAKE2b-256	`27f0efc5ad635d344cb192ce0f8c1139c3931ebabf4d2950219a1a1feb63ab0d`