Metadata-Version: 2.1
Name: z3log
Version: 0.0.1
Summary: A Verilog to Z3PY/GV Convertor
Home-page: UNKNOWN
Author: Morteza Rezaalipour (MorellRAP)
Author-email: <rezaalipour.usi@gmail.com>
License: UNKNOWN
Keywords: python,verilog,circuits,synthesis,graphviz,z3,smt-solver,sat-solver,gv
Platform: UNKNOWN
Classifier: Development Status :: 1 - Planning
Classifier: Intended Audience :: Developers
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: Unix
Classifier: Operating System :: MacOS :: MacOS X
Classifier: Operating System :: Microsoft :: Windows
License-File: LICENSE

UNKNOWN

