Comment by IshKebab | Hacker News Reader

Top New Best Ask Show Jobs

Comment by IshKebab | Hacker News Reader

Parent Full thread

It is. Look up what SMT stands for.

SMT is SAT+arithmetic, no?

Satisfiability Modulo Theories

Shin Megami Tensei?

Reply on news.ycombinator.com