-
Notifications
You must be signed in to change notification settings - Fork 42
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
Fix conditions to restart colgen when using lazy cut gen #502
Conversation
Codecov Report
@@ Coverage Diff @@
## master #502 +/- ##
==========================================
- Coverage 83.84% 83.76% -0.08%
==========================================
Files 47 47
Lines 4674 4676 +2
==========================================
- Hits 3919 3917 -2
- Misses 755 759 +4
Continue to review full report at Codecov.
|
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.
Comments to help the reviewer because I formatted the file.
deactivate_artificial_vars = false, | ||
enforce_integrality = false, | ||
log_level = 2 | ||
deactivate_artificial_vars=false, |
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.
why did you remove spaces around =? This is a new convention? I think with spaces it looks better
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.
It's the formatter and it looks like to be the convention : https://github.com/invenia/BlueStyle#keyword-arguments
Fix: Colgen cannot declare the convergence just after an essential cut has been added to the master.
Now, colgen will restart only if we add an essential cut in phase 2.
We still perform essential cut generation as I said in #452 .