PyPI page
Home page
Author:
Salvatore Barone
Summary:
Python implementation of the Catalog-based Aig-rewriting Approximate Logic Synthesis approximation technique
Latest version:
1.3.1
Required dependencies:
igraph
|
liberty-parser
|
numpy
|
pyboolector
|
python-igraph
|
z3-solver
Downloads last day:
3
Downloads last week:
11
Downloads last month:
40