Minimalistic yet highly efficient SAT solver
