Linear and Quadratic Integer Programming
This page is continuously updated!
Last modified: October 25, 1999

Name of the Package Author(s) Purpose
BonsaiG Lou Hafer
School of Computing Science
Simon Fraser University
email: lou@cs.sfu.ca
A mixed-integer linear programming code. Branch & bound method.
BonsaiG accepts problems in MPS format, and writes output in a form that's reasonably human-readable but conforms to no particular standard.
Specific features include a partial arc consistency algorithm to strengthen the enforcement of integrality constraints and dynamically tighten bounds on variables as well as the use of a dynamic LP algorithm as the underlying LP method.
References:
BonsaiG: Algorithms and Design
User's manual for BonsaiG
The source distribution (gzip'ed tar file)
MINTO George Nemhauser
Georgia Institute of Technology.
MINTO is a software system that solves mixed-integer linear programs by a branch-and-bound algorithm with linear programming relaxations.
It also provides automatic constraint classification, preprocessing, primal heuristics and constraint generation.
MIQP Sven Leyffer
Department of Mathematics
The University of Dundee
MIQP is a Branch--and--bound for Mixed Integer Quadratic Programming.
A branch--and--bound solver which can exploit sparsity has been implemented.
It has been shown how lower bounds can be computed efficiently during the branch--and--bound tree--search.
Improved lower bounds can reduce the number of QP problems that have to be solved during the tree search.
A new branching rule has been proposed which uses the lower bounds to decide on the next fractional variable to branch upon.
A numerical comparison of various branching rules with the new rule has shown that the new rule improves the performance of branch--and--bound (Fletcher and Leyffer, 1995).
MOMIP Wlodzimierz Ogryczak
Krystian Zorychta
MOMIP (Modular Optimizer for Mixed Integer Programming) is a branch-and-bound solver for middle size mixed integer linear programming problems.
It is very reliable and efficient on medium scale models (up to 2000 continuous variables/constraints and a few hundred integer variables).
MOMIP can solve problems defined in either MPS or LP-DIT format.
LINDO LINDO Systems Incorporation
(Prof. Linus Schrage.)
1415 North Dayton Street
Chicago, IL 60622
LINDO uses simplex and active set algorithms for linear and quadratic programming, and a branch-and-bound approach for mixed integer programming.
Reference: Optimization Modeling with LINDO. 5th ed., Duxbury Press, 1997
LP_SOLVE Michel Berkelaar Lp_solve can handle (smaller) integer and mixed-integer problems.
MILP88 Eastern software products
P. O. Box 15328
Alexandria, VA 22309
Phone: (703) 360-7600
Fax: (703) 360-7654
MILP88 is a general purpose system for solving linear programs in which several of the variables are restricted to integer values.
The package uses the Branch and Bound method.
The package allows a maximum of 800 rows and 64000 nonzeros.
MIPIII Ketron Management Science
Ketron Division of The Bionetics Corporation
1755 Jefferson Davis Hwy, #901
Arlington, VA 22202-3557 USA
Phone: 703 412 3201 Fax: 703 412 3217
email: ketronms@erols.com
MIPIII is the general purpose mixed-integer optimizer.
MIPIII uses the branch-and-bound algorithm with bound projection; branch-and-cut is also available for use where apprpopriate.
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).
MIPIII accepts standard MPS format with mixed-integer markers.
Reference: MIPIII User's Manual, Ketron Management Science, December 1994.
MPSIII Ketron Management Science
Ketron Division of The Bionetics Corporation
1755 Jefferson Davis Hwy, #901
Arlington, VA 22202-3557 USA
Phone: 703 412 3201 Fax: 703 412 3217
email: ketronms@erols.com
The Complete Mathematical Programming System.
MPSIII covers all of the bases with: WHIZARD for linear and mixed-integer optimization and DATAFORM for Matrix generation, report writing, model management, and execution control. All of the functionality of WHIZARD and DATAFORM are available in the MPSIII callable library, OML.
OML Ketron Management Science
Ketron Division of The Bionetics Corporation
1755 Jefferson Davis Hwy, #901
Arlington, VA 22202-3557 USA
Phone: 703 412 3201 Fax: 703 412 3217
email: ketronms@erols.com
OML is a complete toolkit for linear and mixed-integer optimization as well as model management in a callable library.
Optimization is provided by the library version of WHIZARD.
OSLMSLV OSL Development
IBM Corporation, 33DA MS P356
Phone: (800) 325-2733
Fax: (914) 435-5094
osl@vnet.ibm.com
The mixed integer programming solutions product, OSLMSLV, is a fully stand-alone program that incorporates library modules to solve mixed integer programming problems.
A branch-and-bound technique is used for mixed integer programming. A simplex method is used to solve the linear programming subproblems.
Descriptions of the branch and bound algorithm incorporated into this program is included in the opening sections of the library User's Guide.
PROC LP SAS Institute Inc.
SAS Campus Drive
Cary, NC 27513
Phone: (919) 677-8000
Fax: (919) 677-4444
Email: saseph@unx.sas.com
Linear, integer, and mixed-integer programming.
The LP procedure solves linear, integer, and mixed-integer programming problems and provides interactive control of the solution process and printing.
Algorithms:Revised simplex algorithm with LU factorization of the basis (Bartels, 1971), Branch and bound algorithm for integer variables, Sparse column representation, Crash routine to identify advanced starting basis, Special ordered sets, Numerous pricing algorithms.
Special Features: Goal programming (Ignizio, 1976).
Post-Optimality Analysis:Right-hand-side and price sensitivity analysis, Right-hand-side and price ranging.