3 ms·
Modern SMT solvers are astonishingly fast for most real-world inputs. Not bad, considering that the problem they solve is NP-complete!
by pjscott 13y ago
Modern SMT solvers are astonishingly fast for most real-world inputs. Not bad, considering that the problem they solve is NP-complete!