Themiscyra Asynchronous to round-based translation tool. Installation Requirements Python 3.6 NetworkX 2.4 pycparser (https://github.com/eliben/pycparser) z3-solver (https://github.com/Z3Prover/z3)