4 ms·

It is. Look up what SMT stands for.

• mcphage 24d ago
  Shin Megami Tensei?
• NooneAtAll3 24d ago
  SMT is SAT+arithmetic, no?
  • IshKebab 24d ago
    Satisfiability Modulo Theories