Issue972

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title Find a way to run Gurobi during Github actions
Priority feature Status resolved
Superseder Nosy List florian, jendrik, malte, patfer, silvan
Assigned To Keywords infrastructure
Optional summary 
blocker for issue1001

TODO:
* issue926: decide if we want to support Gurobi
* Look at the licences of Gurobi and/or contact the Gurobi maintainers
* Look into self-hosted runners as an alternative

Created on 2020-07-01.11:53:46 by florian, last changed by florian.

Summary
blocker for issue1001

TODO:
* issue926: decide if we want to support Gurobi
* Look at the licences of Gurobi and/or contact the Gurobi maintainers
* Look into self-hosted runners as an alternative
Messages
msg11126 (view) Author: florian Date: 2023-07-19.00:53:26 
We decided against supporting Gurobi for now.
msg9933 (view) Author: silvan Date: 2021-01-29.09:34:54 
Update referenced issue.
msg9582 (view) Author: florian Date: 2020-07-10.14:56:59 
There already is issue926 for that. I added a link in the summary.
msg9581 (view) Author: malte Date: 2020-07-10.14:54:19 
We decided to first check if we are interested in keeping support for Gurobi at all. For this, we would like to do a CPLEX vs. Gurobi comparison on a reasonable set of planner configurations.

This should perhaps be a separate issue, and this one would depend on the new one.
msg9421 (view) Author: malte Date: 2020-07-02.19:20:05 
correction: issue971
msg9418 (view) Author: patfer Date: 2020-07-02.18:28:14 
About self-hosted runners: look at issue972
History
Date User Action Args
2023-07-19 00:53:26floriansetstatus: chatting -> resolved
messages: + msg11126
2021-01-29 09:34:54silvansetmessages: + msg9933
summary: blocker for issue940 TODO: * issue926: test the performance of Gurobi * decide whether to keep support for Gurobi * contact Gurobi * Look at the licences of Gurobi * Look into self-hosted runners as an option -> blocker for issue1001 TODO: * issue926: decide if we want to support Gurobi * Look at the licences of Gurobi and/or contact the Gurobi maintainers * Look into self-hosted runners as an alternative
2020-07-10 14:56:59floriansetmessages: + msg9582
summary: blocker for issue940 TODO: * contact Gurobi * Look at the licences of Gurobi * Look into self-hosted runners as an option -> blocker for issue940 TODO: * issue926: test the performance of Gurobi * decide whether to keep support for Gurobi * contact Gurobi * Look at the licences of Gurobi * Look into self-hosted runners as an option
2020-07-10 14:54:19maltesetmessages: + msg9581
2020-07-02 19:20:05maltesetmessages: + msg9421
2020-07-02 18:28:14patfersetstatus: unread -> chatting
nosy: + patfer
messages: + msg9418
2020-07-02 17:22:08floriansetpriority: meta -> feature
keyword: + infrastructure
summary: TODO: * contact Gurobi * Look at the licences of Gurobi * Look into self-hosted runners as an option -> blocker for issue940 TODO: * contact Gurobi * Look at the licences of Gurobi * Look into self-hosted runners as an option
2020-07-02 16:53:16silvansetnosy: + silvan
2020-07-01 11:53:46floriancreate