Simple CDCL satisfiability solver.

WWW: http://fmv.jku.at/cadical
