3 ms·That's basically what SAT/SMT solvers do.by poxwole 5y agoThat's basically what SAT/SMT solvers do.eru 5y agoSimilar for Integer Programming solvers.