Hacker News new | ask | show | jobs
by qu1j0t3 501 days ago
It uses a SAT solver, not Prolog. https://news.ycombinator.com/item?id=17686801