py-aiger-bdd
Installation
$ pip install py-aiger-bdd
For developers, note that this project uses the poetry python package/dependency management tool. Please familarize yourself with it and then run:
$ poetry install
Usage
This tutorial assumes familiarity with py-aiger and py-aiger-bv.
import aiger_bv as BV
from aiger_bdd import to_bdd, from_bdd, count
x = BV.atom(3, 'x', signed=False)
expr = x < 5 # Could be an AIG or AIGBV or BoolExpr.
bdd, manager, input2var = to_bdd(expr) # Convert circuit encoded by expr into a BDD.
expr2 = from_bdd(bdd) # Creates an Aiger Expression from a BDD.
assert count(expr, fraction=True) == 5/8
assert count(expr, fraction=False) == 5
1 maintainer
Metadata
1 maintainer
Release files for py-aiger-bdd 3.1.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| py_aiger_bdd-3.1.3.tar.gz | 4.0 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| py_aiger_bdd-3.1.3-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 8.9 kB
Release files / py_aiger_bdd-3.1.3.tar.gz
| Download URL | py_aiger_bdd-3.1.3.tar.gz |
|---|---|
| Size | 4.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
79a326b17ba06f49fad220f78999f16cf68cf10a39dfa68b3d526961366da5d7
|
|
BLAKE2b-256 checksum How to use checksums |
822d4c4d15f487bb8d8650cf07a897356ee5bf62f2331c701290fa54d97245c0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/1.8.2 CPython/3.11.8 Linux/6.6.19
|
Release files / py_aiger_bdd-3.1.3-py3-none-any.whl
| Download URL | py_aiger_bdd-3.1.3-py3-none-any.whl |
|---|---|
| Size | 4.8 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
8143d23044c9595835888e88c8915546536637f1f3220cd2d171afe3665baa99
|
|
BLAKE2b-256 checksum How to use checksums |
88a580c44c61d6cbedc06f6572174bec8f0a2b421760b27ba7d64b6c5316f712
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/1.8.2 CPython/3.11.8 Linux/6.6.19
|
