|author||Roberto Metere <email@example.com>||2015-05-10 23:05:22 +0700|
|committer||Willy Sudiarto Raharjo <firstname.lastname@example.org>||2015-05-10 23:05:22 +0700|
development/mosml: Update README.
Signed-off-by: Willy Sudiarto Raharjo <email@example.com>
Diffstat (limited to 'development/mosml')
1 files changed, 3 insertions, 17 deletions
diff --git a/development/mosml/README b/development/mosml/README
index 53d319b656..63402af841 100644
@@ -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
-GLPK supports the GNU MathProg language, which is a subset of the AMPL
-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.