solver_disableproblem
solver_disableproblem(solv, v);
solver_disableproblem(solv, v);
solver_disableproblem(solv, problem[i]);
void solver_disableproblem(struct _Solver *solv, Id v);
solver_disableproblem(solv, v);
solver_disableproblem(solv, solv->problems.elements[i]);
solver_disableproblem(solv, v);
solver_disableproblem(solv, v);
solver_disableproblem(solv, v);
solver_disableproblem(solv, solv->problems.elements[i]);
solver_disableproblem(solv, v);