An example of synthesis tool from Aiger circuits format.

Installation requirements:
  - pycudd library:
  - swig library:
  - (probably) python2.7 headers

After installing pycudd library add cudd libraries into your LD_LIBRARY_PATH:

export LD_LIBRARY_PATH=/path/to/pycudd2.0.2/cudd-2.4.2/lib

To setup AIGER parser, run aiger_swig/

To run:

./ -h

Some self-testing functionality is included in ````.

Email me in case of questions/suggestions/bugs: ayrat.khalimovatgmail.