From: Tim King Date: Mon, 19 May 2014 19:14:54 +0000 (-0400) Subject: More documentation fixes. Apologies for multiple commits. X-Git-Tag: cvc5-1.0.0~6898 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=76f8e7c5d64d142110b6ed1ecab1d5d345af77c3;p=cvc5.git More documentation fixes. Apologies for multiple commits. --- 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