logoalt Hacker News

IshKebab • today at 11:47 AM • 2 replies • view on HN

It is. Look up what SMT stands for.

Replies

NooneAtAll3 • today at 1:30 PM

SMT is SAT+arithmetic, no?

➕ show 1 reply
mcphage • today at 1:22 PM

Shin Megami Tensei?