Online SAT solver

Write a set of clauses and the DPLL algorithm tells you whether it is satisfiable.