4 ms·
It uses a SAT solver, not Prolog. https://news.ycombinator.com/item?id=17686801 https://news.ycombinator.com/item?id=17686801
by qu1j0t3 2y ago
It uses a SAT solver, not Prolog. https://news.ycombinator.com/item?id=17686801 https://news.ycombinator.com/item?id=17686801