Metadata-Version: 2.1
Name: py-aiger-analysis
Version: 0.0.1
Summary: An extension of py-aiger providing advanced tool support,  including SAT and QBF solvers.
Home-page: http://github.com/mvcisback/py-aiger-analysis
Author: Marcell Vazquez-Chanlatte
Author-email: marcell.vc@eecs.berkeley.edu
License: MIT
Platform: UNKNOWN
Provides-Extra: BDD
Provides-Extra: SAT
Requires-Dist: bidict
Requires-Dist: py-aiger
Requires-Dist: py-aiger-bv
Requires-Dist: funcy
Requires-Dist: toposort
Provides-Extra: BDD
Requires-Dist: dd; extra == 'BDD'
Provides-Extra: SAT
Requires-Dist: python-sat; extra == 'SAT'

UNKNOWN


