Integrate HiGHS and few minor fixes from Augmenta#5150
Open
PedramHooshangiAUGAI wants to merge 8 commits intogoogle:mainfrom
Open
Integrate HiGHS and few minor fixes from Augmenta#5150PedramHooshangiAUGAI wants to merge 8 commits intogoogle:mainfrom
PedramHooshangiAUGAI wants to merge 8 commits intogoogle:mainfrom
Conversation
Acorn 11226 update augmenta-ai/or-tools
…lver Fix crash when HiGHS returns FEASIBLE status (time limit, node limit, gap tolerance). Now populates variable_value, objective_value, and best_objective_bound for both MPSOLVER_OPTIMAL and MPSOLVER_FEASIBLE, consistent with SCIP solver behavior.
ACORN-11869: Populate variable values for FEASIBLE status in HiGHS
- Fix floating-point rounding assertions in clock.c - Handle zero/near-zero constraint coefficients in cons_linear.c - Clamp negative solving time in stat.c instead of asserting - Update MODULE.bazel to apply SCIP patch via git_override
ACORN-11869: Add SCIP debug-build assertion fixes to patch file
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 pull request introduces support for the HiGHS solver throughout the codebase, updates some dependency versions, and adds a patch for SCIP to fix assertion issues. The changes ensure that HiGHS can be used as a backend for various algorithms and examples, and that the build system and workspace configuration are updated accordingly.
HiGHS Solver Integration:
ortools/graph/christofides.h). [1] [2] [3] [4]examples/cpp/uncapacitated_facility_location.cc).USE_HIGHSflag (makefiles/Makefile.cpp.mk).USE_HIGHSdefine to the workspace configuration (or-tools.code-workspace).ortools/linear_solver/highs_interface.cc). [1] [2]Dependency and Build System Updates:
google_benchmarkandgoogletestBazel dependencies to newer versions and resolved merge conflicts inMODULE.bazel.git_overridefor SCIP with a patch to fix debug-build assertion issues (MODULE.bazel,patches/scip-v10.0.2.patch). [1] [2]These changes collectively improve solver flexibility, maintainability, and build reliability.<!--
Thank you for submitting a PR!
Please make sure you are targeting the main branch instead of stable and that all contributors have signed the Contributor License Agreement.
This simply gives us permission to use and redistribute your contributions as part of the project.
Head over to https://cla.developers.google.com/ to see your current agreements on file or to sign a new one.
This project follows https://opensource.google.com/conduct/
Thanks!
-->