From 76f8e7c5d64d142110b6ed1ecab1d5d345af77c3 Mon Sep 17 00:00:00 2001 From: Tim King Date: Mon, 19 May 2014 15:14:54 -0400 Subject: [PATCH] More documentation fixes. Apologies for multiple commits. --- INSTALL | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/INSTALL b/INSTALL index 79b6761db..bd16c0bf8 100644 --- a/INSTALL +++ b/INSTALL @@ -114,12 +114,13 @@ CVC4 with CLN support, you are licensing CVC4 under that same license. (Usually CVC4's license is more permissive than GPL is; see the file COPYING in the CVC4 source distribution for details.) Please visit http://www.ginac.de/CLN/ for more details about CLN. + glpk-cut-log is a fork of GLPK (the GNU Linear Programming Kit). This can be used to speed up certain classes of problems for the arithmetic implementation in CVC4. (This is not recommended for most users.) The source code for glpk-cut-log is available at: https://github.com/timothy-king/glpk-cut-log/ -The only option for installation of glpk-cut-log i downloading the library, +The only option for installation of glpk-cut-log is downloading the library, compiling and installing it manually. CVC4 is no longer compatible with the main GLPK library. GLPK and glpk-cut-log are covered by the GNU General Public License, version 3; so if you choose to use CVC4 with GLPK support, you are -- 2.30.2