Loading...
Searching...
No Matches
xternal.cpp
Go to the documentation of this file.
218 * Since SoPlex 2.0, the main interface class \ref soplex::SoPlex "SoPlex" provides an improved management of
219 * parameters. Currently, there are three types of parameters for boolean, integer, and real values. A list of default
228 * where <type> is one of <code>bool</code>, <code>int</code>, or <code>real</code> and name is the name of the
229 * parameter. E.g., in order to deactivate the simplifier, one can use the option <code>\-\-bool:simplifier=0</code>.
233 * When using the callable library via the class \ref soplex::SoPlex "SoPlex" (of version 2.0 and above), parameters can
234 * be changed by the methods \ref soplex::SoPlex::setBoolParam() "setBoolParam()", \ref soplex::SoPlex::setIntParam()
235 * "setIntParam()", and \ref soplex::SoPlex::setRealParam() "setRealParam()". See their documentation for details.
246 * or via the method \ref soplex::SoPlex::saveSettingsFile() "saveSettingsFile("<file name>.set", true)" of the class \ref
373 * Since version 1.7, SoPlex implements an \em iterative \em refinement procedure on the level of linear programs, which
374 * allows for computing extended-precision solutions beyond the limits of standard floating-point arithmetic. It may be
375 * particularly helpful for numerically troublesome LPs and applications that require solutions within tight feasibility
376 * tolerances. Since version 2.1 this has been extended to compute exact rational solutions. Since version 7.0, SoPlex
377 * can also use \em incremental precision boosting \em to compute exact rational solutions. By default, SoPlex uses
378 * a combination of an out iterative refinement loop, with precision boosting as a fallback incase of numerical problems.
380 * By default, SoPlex functions as a standard floating-point LP solver. In order to use SoPlex as an exact LP solver,
381 * you need to compile SoPlex with GMP support (default, see the \ref INSTALL "INSTALL" file) and change the following
394 * - <code>int:checkmode = 2</code> (optional, activates exact final check of feasibility and optimality at the command
397 * See \ref PARS "this page" how to change parameters and the \ref PARSLIST "list of all SoPlex parameters" for their
398 * detailed description. A settings file <code>exact.set</code> for exact solving is provided in the directory
402 * If you have questions on particularly this feature you can contact <a href="http://www.zib.de/gleixner/">Ambros
403 * Gleixner</a> or post them on the <a href="https://listserv.zib.de/mailman/listinfo/soplex/">SoPlex mailing list</a>.
410 * - Ambros M. Gleixner, Daniel E. Steffy. <i>Linear programming using limited-precision oracles</i>.
414 * - Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter. <i>Iterative Refinement for Linear Programming</i>.
|