Python bindings for ddnnife
Usage
d-DNNFs are loaded via the Ddnnf class and its from_file method.
Some methods are available directly on a Ddnnf, while others require a mutable version.
A Ddnnf can be made mutable with as_mut().
Example
from ddnnife import Ddnnf
ddnnf = Ddnnf.from_file("path/to/ddnnf", None)
count = ddnnf.as_mut().count([1, 2, 3])
print(count)
1 maintainer
Metadata
1 maintainer
Release files for ddnnife 0.10.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| ddnnife-0.10.0-py3-none-win_amd64.whl | Python 3 | none | Windows x86-64 | Details |
| ddnnife-0.10.0-py3-none-musllinux_1_2_x86_64.whl | Python 3 | none | Linux musl 1.2+ x86-64 | Details |
| ddnnife-0.10.0-py3-none-musllinux_1_2_aarch64.whl | Python 3 | none | Linux musl 1.2+ ARM64 | Details |
| ddnnife-0.10.0-py3-none-manylinux_2_34_x86_64.whl | Python 3 | none | Linux glibc 2.34+ x86-64 | Details |
| ddnnife-0.10.0-py3-none-manylinux_2_34_aarch64.whl | Python 3 | none | Linux glibc 2.34+ ARM64 | Details |
| ddnnife-0.10.0-py3-none-macosx_11_0_x86_64.whl | Python 3 | none | macOS 11.0+ x86-64 | Details |
| ddnnife-0.10.0-py3-none-macosx_11_0_arm64.whl | Python 3 | none | macOS 11.0+ ARM64 | Details |
Total release size: 3.1 MB
Release files / ddnnife-0.10.0-py3-none-win_amd64.whl
| Download URL | ddnnife-0.10.0-py3-none-win_amd64.whl |
|---|---|
| Size | 414.3 kB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
ce8c42234460c45c6cca02eda6d925453e4526aa7f0c63001ed9593e74cf940d
|
|
BLAKE2b-256 checksum How to use checksums |
789129f25dac93a874f6b509b352f20b8de8aa2b9895f1c9b9aeefe9b2d9aea8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.8.14
|
Release files / ddnnife-0.10.0-py3-none-musllinux_1_2_x86_64.whl
| Download URL | ddnnife-0.10.0-py3-none-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 527.2 kB |
| Tags | Linux musl 1.2+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
b3164a3daa4129eaf67ec8cda368cfe1069a62b623d05af114342208d5e63781
|
|
BLAKE2b-256 checksum How to use checksums |
5536cc3c695a1f999dc1f89b2a6c2b2a1696d1e6ff58dc2efd2158e18219d057
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.8.14
|
Release files / ddnnife-0.10.0-py3-none-musllinux_1_2_aarch64.whl
| Download URL | ddnnife-0.10.0-py3-none-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 482.9 kB |
| Tags | Linux musl 1.2+ ARM64 Python 3 |
|
SHA-256 checksum How to use checksums |
078a9fe982d4f4e9f3242cca6e665c482f1226e42e482b6336c0f57c2c017338
|
|
BLAKE2b-256 checksum How to use checksums |
a56155851a7cc966df677414c0a4de9b41143419c1f107f9bb5a12f3c711f84f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.8.14
|
Release files / ddnnife-0.10.0-py3-none-manylinux_2_34_x86_64.whl
| Download URL | ddnnife-0.10.0-py3-none-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 439.8 kB |
| Tags | Linux glibc 2.34+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
8a5f647df2eda7423b274641c2bdf65c53038a01343b11d4b2d2765d541be2df
|
|
BLAKE2b-256 checksum How to use checksums |
efb77b94e2f1ec7743ae9003ac9aff427da10bd1f024148bf25333e738f0a0a2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.8.14
|
Release files / ddnnife-0.10.0-py3-none-manylinux_2_34_aarch64.whl
| Download URL | ddnnife-0.10.0-py3-none-manylinux_2_34_aarch64.whl |
|---|---|
| Size | 414.3 kB |
| Tags | Linux glibc 2.34+ ARM64 Python 3 |
|
SHA-256 checksum How to use checksums |
f53a236b77d28dd71da35f6f777d3dcdb965f4118243122d8340abcaaf845e66
|
|
BLAKE2b-256 checksum How to use checksums |
a33bbdb1ff2938867451e42678d001e1135da1cc032d14327e2e3f92cd9700c9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.8.14
|
Release files / ddnnife-0.10.0-py3-none-macosx_11_0_x86_64.whl
| Download URL | ddnnife-0.10.0-py3-none-macosx_11_0_x86_64.whl |
|---|---|
| Size | 416.8 kB |
| Tags | Python 3 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
74f727f2e2d0ca827588fa6dc0a3f7471fdafff8b5af2b36ebca99641dc56e09
|
|
BLAKE2b-256 checksum How to use checksums |
4338bcf5d185c38a7efff2a0dcf78354d9648d7a6b0738f58bf13e1f15e50d5c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.8.14
|
Release files / ddnnife-0.10.0-py3-none-macosx_11_0_arm64.whl
| Download URL | ddnnife-0.10.0-py3-none-macosx_11_0_arm64.whl |
|---|---|
| Size | 385.0 kB |
| Tags | Python 3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
134784aa4464b640efef9ecb0431018b36ce5763b3eb64d2714841b12160cb8d
|
|
BLAKE2b-256 checksum How to use checksums |
14b8197c0b73c5eb1e8848dacea4bc2c1198071b027ab36a1b81c94e342d7afc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.8.14
|
