Arc Forum
new
|
comments
|
leaders
|
submit
login
SAT prover in 50 lines of Arc
(my-arc-stuff.blogspot.com)
4 points
by
sacado
6102 days ago |
1 comment
2 points
by
sacado
6102 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
-----
