HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by poxwole | Hacker News Reader
Full thread
poxwole
·
That's basically what SAT/SMT solvers do.
View on HN
eru
·
Similar for Integer Programming solvers.
Reply on news.ycombinator.com