solver_enableproblem
solver_enableproblem(solv, problem[i]);
solver_enableproblem(solv, disabled.elements[i]);
solver_enableproblem(solv, problem[i]);
void solver_enableproblem(struct _Solver *solv, Id v);