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

Merge branch 'Use_gurobi_finder_from_library' into 'master'

Use gurobi finder from library

See merge request !74
parents 1dee7b53 77bf9ed9
Pipeline #16897 passed with stages
in 11 minutes and 26 seconds