Changes between Initial Version and Version 3 of Ticket #18735
- Timestamp:
- Jun 20, 2015, 6:42:15 AM (8 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #18735
- Property Cc dimpase added
-
Ticket #18735 – Description
initial v3 1 1 Sometimes one can use a fast numerical LP solver to solve a problem to "optimality", 2 2 then reconstruct the primal and dual solution in rational arithmetic (or over whatever base_ring was used...) and in this way prove that this basis is indeed optimal. 3 MixedIntegerLinearProgramshould support this mode of operation.3 `MixedIntegerLinearProgram` should support this mode of operation. 4 4 5 5 #18685 provides the necessary basis-status functions (for the GLPK backend).