Gurobi
Locations and versions:
Major 9
9.5.0 TU Darmstadt
Minor 9.0
Patch 9.0.0
9.0.0 TU Darmstadt
9.0 seafile/latest RPTU Kaiserslautern-Landau
Major 8
Minor 8.1
Patch 8.1.0
8.1.0 TU Darmstadt
8.1 seafile/7 RPTU Kaiserslautern-Landau
8.0 seafile/6 RPTU Kaiserslautern-Landau
Major 7
7.5 score-p/latest RPTU Kaiserslautern-Landau
Minor 7.0
7.0.2 TU Dresden
7.0 score-p/3.0 RPTU Kaiserslautern-Landau
Major 6
6.0.4 TU Dresden
Major 4
latest signalp/4.1 RPTU Kaiserslautern-Landau
70
700
702
75
750