JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Do not use GLPK's presolve in default Polyhedra backend #3480

Closed schillic closed 4 months ago

schillic commented 4 months ago

EDIT: I am not convinced about this PR aynmore. It actually does not resolve the OP in #3039 and also not #3456, which was my motivation (I should have checked before opening). Hence I close this PR again. I keep the branch in case this is interesting in the future.


Original text

This addresses the long-standing #3039 by changing the default solver to GLPK without presolve.

And we actually already removed it in #3333 from one method due to annoying outputs.

We added the presolve option in #2195 because sometimes the solver crashes if the presolve option is not used. I went through the tests and added the option manually in these cases.