Hacker News new | ask | show | jobs
by hwayne 111 days ago
...Whoops. Yup, SMT solvers can famously return `unknown` on top of `sat` and `unsat`. Just added a post addendum about the mistake.