← Back to context Comment by IshKebab 5 hours ago It is. Look up what SMT stands for. 3 comments IshKebab Reply NooneAtAll3 4 hours ago SMT is SAT+arithmetic, no? IshKebab 2 hours ago Satisfiability Modulo Theories mcphage 4 hours ago Shin Megami Tensei?
NooneAtAll3 4 hours ago SMT is SAT+arithmetic, no? IshKebab 2 hours ago Satisfiability Modulo Theories
SMT is SAT+arithmetic, no?
Satisfiability Modulo Theories
Shin Megami Tensei?