Visualizing SAT Instances and Runs of the DPLL Algorithm
A machine program for theorem-proving