No model selected

Engine Hardware Time limit (s)

Options

Simplex method Threads Run the independent checker after each solve Verbose solver log

1
Pick a model
From the library, your own equations, or an uploaded file.
2
Press Solve
The engine is matched to the model type. Override it if you like.
3
Read the answer
Objective, the solver's proof level, and an independent re-check.