This function creates and returns a goal, a primitive in the algorithms that search for solutions. It is used to assign a value to a constrained variable. It handles constrained integer variables in the way that the function IlcInstantiate handles constrained floating-point variables by recursively searching half of the domain of its argument.

If its argument var has already been bound, then IlcDichotomize does nothing and succeeds. Otherwise, IlcDichotomize sets a choice point, then replaces the domain of var by one of the halves, and calls itself recursively. If failure occurs then, the domain is replaced by the other half, and IlcDichotomize is called recursively.

The optional argument increaseMin must be either IlcTrue or IlcFalse. If it is IlcTrue, then the upper half of the domain is tried first; otherwise, the lower half is tried first.