Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1 from davide-f/compathelper/new_version/2022-10-…
…18-02-10-40-855-01404974385 CompatHelper: add new compat entry for HiGHS at version 1, (keep existing compat)
- Loading branch information