Merge branch 'master' into jrc-idees-2020

This commit is contained in:
lisazeyen 2024-07-22 21:53:44 +02:00 committed by GitHub
commit d964c46a18
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -879,6 +879,13 @@ solving:
Threads: 8
LpMethod: 2
Crossover: 0
RelGap: 1.e-6
Dualize: 0
copt-gpu:
LpMethod: 6
GPUMode: 1
PDLPTol: 1.e-5
Crossover: 0
cbc-default: {} # Used in CI
glpk-default: {} # Used in CI