3 ms·

You should look at supercompilation.

• mshockwave 1y ago
  sometimes also known as superoptimization, which many of them also use SMT solvers like Z3 mentioned in the article
  • tylerhou 1y ago
    Yes, sorry, superoptimization is the correct term.