Simple CDCL satisfiability solver
