Hacker News new | ask | show | jobs
Solving a Puzzlehunt with Satisfiability Modulo Theories (programsareproofs.com)
3 points by teh_matt 1905 days ago