Skip to content

Replace Gurobi finder with much-improved version. Fixes #1.

Martin Heistermann requested to merge update-gurobi-finder into master

Merge request reports