logoalt Hacker News

NooneAtAll3 • today at 1:30 PM • 1 reply • view on HN

SMT is SAT+arithmetic, no?

Replies

IshKebab • today at 3:16 PM

Satisfiability Modulo Theories