Arc Forumnew | comments | leaders | submitlogin
2 points by sacado 5908 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