Changes between Version 9 and Version 10 of Ticket #18735


Ignore:
Timestamp:
03/28/16 17:00:26 (5 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18735

    • Property Dependencies changed from #18685, #18688 to #18685, #18688, #20296
    • Property Summary changed from MixedIntegerLinearProgram: Reconstruct exact rational/algebraic basic solution to MixedIntegerLinearProgram/HybridBackend: Reconstruct exact rational/algebraic basic solution
  • Ticket #18735 – Description

    v9 v10  
    33`MixedIntegerLinearProgram` should support this mode of operation.
    44
    5 This would be particularly interesting in conjunction with #18764. (But see #18765 for a different approach.)
     5The current branch, on top of #20926, attempts to do this by implementing a `HybridBackend`, which delegates to two backends:
     6 - a fast, possibly inexact backend (Gurobi or GLPK or even GLPK with glp_exact -- see #18764)
     7 - a slow, exact one that can set the simplex basis (only `InteractiveLPBackend` fits the bill - from #20296)
    68
    79#18685 provides the necessary basis-status functions (for the GLPK backend).
    810#18688 provides a solver-independent interface to these functions.
    9 
    10 The reconstructed solution could be presented via #20296.
     11#18804 exposes basis status via backend dictionaries.