A boolean SAT solver based on Niklas Een and Niklas Sorensson's paper "An Extensible SAT-Solver".