* Move solved problem to the jobs structure
* @return error code
*/
int pkg_solve_sat_to_jobs(struct pkg_solve_problem *problem, struct pkg_jobs *j);
int pkg_solve_sat_to_jobs(struct pkg_solve_problem *problem);
/**
* Parse SAT solver output and convert it to jobs