Skip to content

Revert "Added HiGHS library (#45)" - #46

Merged
volkm merged 1 commit into
mainfrom
revert
Aug 13, 2026
Merged

Revert "Added HiGHS library (#45)"#46
volkm merged 1 commit into
mainfrom
revert

Conversation

@volkm

@volkm volkm commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

This reverts commit 3d3b43f.
The HiGHS package seems broken.

@volkm
volkm merged commit fd29d95 into main Aug 13, 2026
16 checks passed
@volkm
volkm deleted the revert branch August 13, 2026 09:15
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.

1 participant