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
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
py_aiger_bdd-3.1.3.tar.gz
(4.0 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file py_aiger_bdd-3.1.3.tar.gz.
File metadata
- Download URL: py_aiger_bdd-3.1.3.tar.gz
- Upload date:
- Size: 4.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via:
poetry/1.8.2 CPython/3.11.8 Linux/6.6.19
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
79a326b17ba06f49fad220f78999f16cf68cf10a39dfa68b3d526961366da5d7
|
|
| MD5 |
4445baf6fce835cf73a1cb85180ea98c
|
|
| BLAKE2b-256 |
822d4c4d15f487bb8d8650cf07a897356ee5bf62f2331c701290fa54d97245c0
|
File details
Details for the file py_aiger_bdd-3.1.3-py3-none-any.whl.
File metadata
- Download URL: py_aiger_bdd-3.1.3-py3-none-any.whl
- Upload date:
- Size: 4.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via:
poetry/1.8.2 CPython/3.11.8 Linux/6.6.19
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
8143d23044c9595835888e88c8915546536637f1f3220cd2d171afe3665baa99
|
|
| MD5 |
e7ec167e176dc1b4945ac80343747e5c
|
|
| BLAKE2b-256 |
88a580c44c61d6cbedc06f6572174bec8f0a2b421760b27ba7d64b6c5316f712
|
