4 ms·
It's fairly easy to extend this to either an exhaustive search afterwards, or to run into a SMT solver to prove that it's correct / incorrect. Though that's pr
by TheLoneWolfling 12y ago
It's fairly easy to extend this to either an exhaustive search afterwards, or to run into a SMT solver to prove that it's correct / incorrect.
Though that's probably too much machinery to add on to a compiler.