Skip to content

Expose underlying HiGHS model status - #139

Open
lovasoa wants to merge 1 commit into
mainfrom
agent/highs-underlying-status
Open

lovasoa wants to merge 1 commit into
mainfrom
agent/highs-underlying-status

Conversation

@lovasoa

@lovasoa lovasoa commented Sep 3, 2026

Copy link
Copy Markdown
Collaborator

Closes #138.

Summary

  • Add HighsProblem::solve_with_highs_status to expose the status returned by HiGHS.
  • Document that the generic solver API maps UnboundedOrInfeasible to ResolutionError::Infeasible.
  • Add a regression test for the ambiguous MIP status.

Validation

  • cargo fmt --all -- --check
  • cargo test --no-default-features --features highs
  • cargo doc --no-deps --no-default-features --features highs
  • cargo clippy --no-default-features --features highs --all-targets -- -D warnings

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

HiGHS backend reports an unbounded integer model as infeasible with default presolve

1 participant