3 ms·At least we try, with SMT solvers and such. Surprise surprise, math works!by flamedoge 10y agoAt least we try, with SMT solvers and such. Surprise surprise, math works!