SAT solver (in the course Logic in CS)