Arc Forumnew | comments | leaders | submitlogin
SAT prover in 50 lines of Arc (my-arc-stuff.blogspot.com)
4 points by sacado 6113 days ago | 1 comment


2 points by sacado 6113 days ago | link

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

-----