PyPI page
Home page
Author:
None
License:
GNU GENERAL PUBLIC LICENSE
Version 3, 29 June 2007
Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/>
Everyone is permit...
Summary:
Very basic btor2 parser, circuit miter, and code optimizer.
Latest version:
0.3.0
Required dependencies:
tqdm
Optional dependencies:
black
|
bumpver
|
isort
|
pip-tools
Downloads last day:
11
Downloads last week:
15
Downloads last month:
150