3 ms·SMT is SAT+arithmetic, no?by NooneAtAll3 16d agoSMT is SAT+arithmetic, no?IshKebab 16d agoSatisfiability Modulo Theories