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