diff options
Diffstat (limited to 'development')
| -rw-r--r-- | development/mosml/README | 20 |
1 files changed, 3 insertions, 17 deletions
diff --git a/development/mosml/README b/development/mosml/README index 53d319b656..63402af841 100644 --- a/development/mosml/README +++ b/development/mosml/README @@ -1,18 +1,4 @@ -glpk - GNU Linear Programming Kit +Moscow Standard ML interpreter -The GLPK package is intended for solving large-scale linear programming -(LP), mixed integer programming (MIP), and other related problems. -It is a set of routines written in ANSI C and organized in the form of a -callable library. - -GLPK supports the GNU MathProg language, which is a subset of the AMPL -language. - -The GLPK package includes the following main components: - - * primal and dual simplex methods - * primal-dual interior-point method - * branch-and-cut method - * translator for GNU MathProg - * application program interface (API) - * stand-alone LP/MIP solver +Moscow ML is a light-weight implementation of Standard ML (SML), +a strict functional language used in teaching and research. |