Aiger to BDD bridge.


License
MIT
Install
pip install py-aiger-bdd==0.2.6

Documentation

py-aiger-bdd

Build Status codecov

PyPI version License: MIT

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 aigerbv
from aiger_bdd import to_bdd, from_bdd, count

x = aigerbv.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