MIPIII is the general purpose mixed-integer optimizer for the Ketron Optimization
mathematical programming system, MPSIII. There is a stand-alone version; a
callable library version, OML, and a version that is
integrated into the model management system,
DATAFORM.
Mixed-Integer Programming.
MIPIII uses the
branch-and-bound algorithm with bound projection; branch-and-cut is also
available for use where appropriate. Discrete variable types recognized are:
zero/one (a switch), bivalent (zero or something else), general integer (pick an
integer from a range of values), semicontinuous (must be zero or greater than a
lower bound), SOS1 (pick an activity from a set of alternatives) , and SOS2
(piecewise linearization of a curve).
Extensive user guidance is possible through priority list, starting integer
solution, and numerous solution control parameters. There is a wide choice of
options for branching control and stopping conditions. User controls are
supplied through several convenient means including control tables, command line
arguments, and a GUI front-end.
Input, Output.
MIPIII accepts standard MPS format with
mixed-integer markers. A more efficient MPSIII proprietary format is available
through DATAFORM and OML. The branching node tree is displayed if requested;
this is helpful when comparing solution strategies.
Fact Sheet. For a two page fact sheet with more detailed information, just select
MIPIII Facts. You may wish to print a copy for your files.
FAQ. A list of Frequently Asked Questions about MIPIII.