This function creates and returns a goal for use in a search. This goal will extract the constraint for a solver (an instance of IloSolver) during a search in a reversible way. In other words, it will be possible for a solver to backtrack and cancel the constraint during the search. In particular, if the solver backtracks before the execution of this goal, then it will also backtrack the extraction of the constraint and its addition to the model.