You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Click the pencil in the top-right of the file (the edit button)
Make the changes in the file
Scroll to the bottom of the page, select the "Create a new branch for this commit and start a pull request" option, and then click "Propose file change".
Follow the directions!
Once the PR is open, we can make some comments. You might have to change a few things, but you can do that through the web-interface as well. Good luck!
p.s., if you want to know how to submit a PR using Git, the JuMP contributing guide has a list of tutorials where you can learn.
Hello,
I would like to propose an addition to the function "MPBWrapper.jl" to retrieve the number of generated usercuts during the B&B search. This is following the discussion at https://discourse.julialang.org/t/does-anyone-know-how-to-retrieve-the-number-of-generated-cuts-in-the-informational-callback/15370
Note that a Method to retrieve the number of generated cuts with Gurobi already exists in function "grb_callbacks.jl" (https://github.com/JuliaOpt/Gurobi.jl/blob/120d606da08facffb206d73d932dbb0bf7d7001d/src/grb_callbacks.jl#L110)
Then, the only addition to be made is in the wrapper (https://github.com/JuliaOpt/Gurobi.jl/blob/120d606da08facffb206d73d932dbb0bf7d7001d/src/MPBWrapper.jl#L570)
Then one could retrieve the number of generated usercuts in an Infocallback as follows:
I don't know how to make a pull request. Could anyone help me on that?
The text was updated successfully, but these errors were encountered: