Sat-solver for dimacs-cnf files.