This function returns a goal that casts a pool processor into an IloGoal for execution using an instance of IloSolver. The parameter proc is the processor to be converted and the parameter name defines the name of the newly created goal. The goal is allocated on environment env