Conversation
Model::[try_]solve_in_place solves without consuming the model, so that it can be modified and solved again with a warm start. Its results are read with Model::status, objective_value and get_solution, as on SolvedModel. To reuse a model, Model::[try_]clear_solver resets the solver state, Model::[try_]clear_model removes the problem, and Model::[try_]overwrite replaces it (sharing the problem passing code of Model::try_new). Model::num_nz and get_column_bounds / get_column_cost, and Problem::get_column_bounds / get_column_cost, read the current model.
Add HighsIisBoundStatus, the Iis type, and [try_]get_iis on SolvedModel and Model (via Highs_getIis), as well as Model::[try_]solve_or_iis, which solves in place and returns either the solution or an IIS. An IIS is only returned when HiGHS could check that it is infeasible: otherwise try_get_iis returns Err(HighsStatus::Warning). The per-column and per-row IIS statuses are not requested, as HiGHS copies them without having set them in that case. Requires the IIS bound status constants from highs-sys.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This is a PR for the 4th (and biggest) feature of the 4 mentioned in #51.
It is dependent on the 3rd of those features #53 (notably the
try_solve_in_placemethod).It is also dependent on this PR in the
highs-syscrate, which adds IIS-related constants used here.The core feature is the
Iisstructure and the ability to compute it viaModel::solve_or_iis,Model::get_iisorSolvedModel::get_iisAddresses #47