A legacy C++ algorithm I wrote back in 2011 using Learning Automata to solve the SAT problem.