Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: support mip gaps for scip #90

Merged
merged 2 commits into from
Feb 28, 2025
Merged

feat: support mip gaps for scip #90

merged 2 commits into from
Feb 28, 2025

Conversation

KnorpelSenf
Copy link
Contributor

Title says it all

@KnorpelSenf
Copy link
Contributor Author

KnorpelSenf commented Feb 27, 2025 •
edited
Loading

oops, forgot to handle gap limit results, will move to draft state for a while ready!

@KnorpelSenf KnorpelSenf marked this pull request as draft February 27, 2025 17:57
@KnorpelSenf KnorpelSenf marked this pull request as ready for review February 27, 2025 22:09
@KnorpelSenf KnorpelSenf mentioned this pull request Feb 27, 2025
Merged
@lovasoa lovasoa merged commit c0423f6 into rust-or:main Feb 28, 2025
1 check passed
@lovasoa
Copy link
Collaborator

lovasoa commented Feb 28, 2025

Thanks !

@KnorpelSenf KnorpelSenf deleted the scip-mip-gap branch February 28, 2025 09:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lovasoa lovasoa lovasoa approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@KnorpelSenf @lovasoa