The tolerances contained in the Constraint Cuts box on the Integer Pre-Solver tab:

page152axp2

can be used to control the solver's cut generation phase on linear models.

LINGO's integer programming solver performs extensive evaluation of your model in order to add constraint cuts. Constraint cuts are used to "cut" away sections of the feasible region of the continuous model (i.e., the model with integer restrictions dropped) that are not contained in the feasible region to the integer model.

On most integer models, this will accomplish two things. First, solutions to the continuous problem will tend to be more naturally integer. Thus, the branch-and-bound solver will have to branch on fewer variables. Secondly, the bounds derived from intermediate solutions will tend to be tighter, allowing the solver to "fathom" (i.e., drop from consideration) branches higher in the branch-and-bound tree. These improvements should dramatically speed solution times on most integer models. However, on some poorly formulated models, disabling one or more of the cut types may help in finding feasible solutions.

All constraint cut types are enabled by default.