New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Default LP solver #680

Open

sjunges opened this issue Mar 4, 2025 · 0 comments

Labels

default settings enhancement

Milestone

Contributor

sjunges commented Mar 4, 2025

Right now, GLPK is the default solver, if it is available.

With #678, GLPK may no longer be available. Then soplex, if available is the default solver, and otherwise Z3.

Gurobi is never the default due to the license-question making it complicated.

On the other hand, it seems that out of the currently supported solvers, Gurobi is the most reasonable choice if available.

This also relates to #535.

sjunges added default settings enhancement labels

sjunges added this to the long-term milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment