diff options
| author | Roberto Metere <roberto@metere.it> | 2015-05-10 23:05:22 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2015-05-10 23:05:22 +0700 |
| commit | 62a95130a755f3122772ea1e95e46ec208e13580 (patch) | |
| tree | cf552e1e24ca14b3453bbb99e27f04f459fe501d /development | |
| parent | af11225ee6d8f3e3b27af57bf5342eae27e3e248 (diff) | |
development/mosml: Update README.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
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 53d319b65672..63402af8417f 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. |