-
Notifications
You must be signed in to change notification settings - Fork 77
Integrate CliqueMerging presolver and tune presolver settings #415
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.
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
Conversation
5edeb2b
to
dc2937b
Compare
Thanks a lot for the super quick and great work Rajesh! :) I think we can merge the PR as it's overall beneficial but we should probably track this with a GH issue |
/ok to test dc2937b |
/ok to test 2d9f080 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
cmake lgtm. What's the strategy to remember to change this someday from a specifc hash? We might forget :)
This is the latest commit from development branch. Once things merge to main branch, we can switch to that. I can add some notes. |
/ok to test d3ac1bc |
/ok to test 547ccf2 |
/ok to test f3d9bf5 |
/ok to test 6d5b773 |
/ok to test b339605 |
/ok to test 9e13e09 |
/ok to test 556d96a |
/ok to test 1c1bddd |
/ok to test 036117b |
/ok to test d0fc79f |
/ok to test b9c0dcb |
/ok to test 5fe2f3c |
/merge |
Description
This PR integrates the CliqueMerging presolver from Papilo and customizes some presolver settings for cuOpt. This PR also provides
--dual-postsolve
option. This option allows users to disable dual post solve which makes presolver apply more reductions. By default this flag is set to false.Issue
Closes #356
Checklist