Integer Pre-Solver Tab |
The Integer Pre-Solver tab on the Options dialog box, pictured here:
is used to control several options for tailoring the operation of LINGO’s integer programming pre-solver. The integer pre-solver does a great deal of model reformulation, so that the final formulation passed to the branch-and-bound solver may be solved as fast as possible. The reformulated model is always mathematically equivalent to the original formulation, but it is structured in such a way that it is best suited for solution by the branch-and-bound integer programming algorithm. The pre-solver also performs a number of heuristic techniques to find valid integer solutions before entering the branch-and-bound solver.
Note: | The integer pre-solver pertains only with integer models (i.e., models that make use of the @BIN and @GIN functions to restrict one or more variables to integer values.) |