SAT solver

computer program for the Boolean satisfiability problem