Closed blegat closed 4 years ago
This was failing with Gurobi as it clears the results once we modify the model
Coverage decreased (-0.03%) to 90.761% when pulling 5445d91e4bca13469927ff0dd367d3a2d4287073 on bl/query_modif into 15e8f7b8dd85770b60deb18f9bafc3b375799ed3 on master.
This was failing with Gurobi as it clears the results once we modify the model