How to use SoPlex as an exact LP solver Since version 1.7, SoPlex implements an iterative refinement procedure on the level of linear programs, which allows for computing extended-precision solutions beyond the limits of standard floating-point arithmetic. It may be particularly helpful for numerically troublesome LPs and applications that require solutions within tight feasibility tolerances. Since version 2.1 this has been extended to compute exact rational solutions. By default, SoPlex functions as a standard floating-point LP solver. In order to use SoPlex as an exact LP solver, you need to compile SoPlex with GMP support (default, see the INSTALL file) and change the following parameters from their default value:
See this page how to change parameters and the list of all SoPlex parameters for their detailed description. A settings file If you have questions on particularly this feature you can contact Ambros Gleixner or post them on the SoPlex mailing list. ReferencesThe mathematical background of the underlying methods is described in the papers
When using SoPlex as an exact LP solver, please cite the above papers. |