Commit ab9edd27 authored by Jan Möbius's avatar Jan Möbius
Browse files

Merge branch 'update-gurobi-finder' into 'master'

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

Closes #1

See merge request !6
parents 690f37fc 472ce33a
Pipeline #16893 passed with stage
in 9 seconds