Skip to content
Snippets Groups Projects

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

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