Minimize the partial linear expression Obj for the problem associated with the colgen instance ColgenInstance, using the user-defined predicate SolveSubProblem to provide profitable variables during solution. The optimal solution cost is unified with ObjVal.
The first argument of the subproblem solution predicate must be a subproblem structure, as specified in solver_setup/3.