Finding Simple Rewrite Rules for the PyPy JIT with Z3 (via tjf) — discussion

#compilers #python