Arc Forumnew | comments | leaders | submit login

2 points by sacado 6111 days ago | link | parent This is a very naïve implementation, but the goal was to see how short such a solver could be. More about the SAT problem : http://en.wikipedia.org/wiki/Boolean_satisfiability_problem