3 ms·
Been trying out Souper, which uses Z3 underneath. It is pretty spectacular, what it is able to do.
by microcolonel 8y ago
Been trying out Souper, which uses Z3 underneath. It is pretty spectacular, what it is able to do.
- jononor 8y agoI struggled to find it on my phone, so here is a link. Souper is a LLVM optimizer; https://github.com/google/souper https://github.com/google/souper