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 TU Kaiserslautern
Major 8
Minor 8.1
Patch 8.1.0
8.1.0 TU Darmstadt
8.1 seafile/7 TU Kaiserslautern
8.0 seafile/6 TU Kaiserslautern
Major 7
7.5 score-p/latest TU Kaiserslautern
Minor 7.0
7.0.2 TU Dresden
7.0 score-p/3.0 TU Kaiserslautern
Major 6
6.0.4 TU Dresden
Major 4
latest signalp/4.1 TU Kaiserslautern
70
700
702
75
750