MPSolve

From MaRDI portal