Fix possible memory leak when parsing CUDF.
Add ability to parse the output of SAT solvers.