Mixed integer programming solver with support for nonlinear constraints
Solver for mixed integer programming and mixed integer nonlinear programming
scip
$ scip -f problem.lp
$ scip -f problem.mps -v
$ scip