Is your feature request related to a problem? Please describe.
z3 has enabled (de)serialization. Thus, we can utilize this feature to enable multi proc in graph.py.
Describe the solution you'd like
Give the option, --worker N;
Guarantee the workers can be maintained by different processes.
Is your feature request related to a problem? Please describe. z3 has enabled (de)serialization. Thus, we can utilize this feature to enable multi proc in
graph.py.Describe the solution you'd like
--worker N;Additional context z3 serialization example: link