SAT/SMT by example [pdf] | Hacker News Reader