z3log (pypi): A Verilog to Z3PY/GV Convertor
Keywords: python|verilog|circuits|synthesis|graphviz|z3|smt-solver|sat-solver|gv