3 ms·
There's also souper, which is a generic superoptimizing pass for LLVM which can use Z3 (or most other popular SMT solvers).
by microcolonel 7y ago
There's also souper, which is a generic superoptimizing pass for LLVM which can use Z3 (or most other popular SMT solvers).