Use gurobi finder from library

5 jobs for Use_gurobi_finder_from_library in 5 minutes and 2 seconds