MINOS(IIS) is an LP solver which incorporates special routines for analyzing infeasible linear programs. It uses two main tools for infeasibility analysis:
MINOS(IIS) is a combination of two codes: the linear programming routines from the MINOS 5.4 solver developed at Stanford University by Bruce Murtagh and Michael Saunders at Stanford University, and the IISLOC infeasibility analysis routines developed by John Chinneck at the Department of Systems and Computer Engineering at Carleton University .
MINOS(IIS) allows the user to select various combinations of the basic IIS routines, including deletion filtering, sensitivity filtering, elastic filtering, IIS set-covering, column protection, constraint prioritizing via guide codes, etc. A complete trace of algorithm activity is also available on user request.
For further information on infeasibility analysis of mathematical programs see the author's list of publications .
Obtaining a Student/Demo Copy of MINOS(IIS)
A student/demo edition of MINOS(IIS) version 5.2 is available for download. It is distributed as a DOS executable file, and has limits on the maximum model size as follows: no more than 300 constraints, no more than 300 variables. A user's manual is included. Note that is an old 32-bit windows executable and may not function on a 64-bit system.
As you should expect with any free software, this student/demo version of MINOS(IIS) is provided without warranty of any kind. All risks are assumed by you, the user.
For further information, or to inquire about a professional edition of MINOS(IIS) contact John W. Chinneck at Carleton University (email: firstname.lastname@example.org). To acquire a professional edition, you will first need a license for MINOS 5.4, available from Stanford Business Software.
To Reference MINOS(IIS)
If you need to reference MINOS(IIS) in research papers, technical reports, etc., the suggested reference is:
J.W. Chinneck, (1994), "MINOS(IIS): Infeasibility Analysis Using MINOS", Computers and Operations Research, Vol. 21, No. 1, pp. 1-9.
Other possible references can be seen here .
Back to author's homepage .