satsolver
satsolver takes a DIMACS benchmark file as input and uses the DPLL algorithm to solve it. It prints 'SAT' on standard output if the input is satisfiable, else, prints 'UNSAT'.
satsolver takes a DIMACS benchmark file as input and uses the DPLL algorithm to solve it. It prints 'SAT' on standard output if the input is satisfiable, else, prints 'UNSAT'.