Closed flomnes closed 2 weeks ago
MPS files should contain names only if option -s is provided. As of develop (1c90304), it's not the case : MPS files are always named.
Only happens if the problem is infeasible, expected behavior
Doc added in #2250
MPS files should contain names only if option -s is provided. As of develop (1c90304), it's not the case : MPS files are always named.