diff options
| author | Tim King <taking@cs.nyu.edu> | 2014-05-05 17:20:38 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2014-05-05 17:20:38 -0400 |
| commit | 632ed29e9d82ddef49d0c3382dce1439aa67698a (patch) | |
| tree | a8d12fbf1463adf72dc18c0a2bd85e8e51802f83 /INSTALL | |
| parent | dfb807946da87254f927bf5550ff0f35fc780631 (diff) | |
Improving documentation for glpk-cut-log switch.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 21 |
1 files changed, 13 insertions, 8 deletions
@@ -96,7 +96,7 @@ None of these is required, but can improve CVC4 as described below: Optional: SWIG 2.0.x (Simplified Wrapper and Interface Generator) Optional: CLN v1.3 or newer (Class Library for Numbers) - Optional: GLPK (GNU Linear Programming Kit) + Optional: glpk-cut-log (A fork of the GNU Linear Programming Kit) Optional: GNU Readline library (for an improved interactive experience) Optional: The Boost C++ threading library (libboost_thread) Optional: CxxTest unit testing framework @@ -114,14 +114,19 @@ 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 is the GNU Linear Programming Kit, and can be used to speed up -the arithmetic implementation in CVC4. GLPK is covered by the GNU -General Public License, version 3; so if you choose to use CVC4 with -GLPK support, you are licensing CVC4 under that same license. +a fork of GLPK (the GNU Linear Programming Kit). +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, +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 +licensing CVC4 under that same license. (Usually CVC4's license is more permissive; see above discussion.) -Please visit http://www.gnu.org/software/glpk/ for more details about -GLPK. +Please visit http://www.gnu.org/software/glpk/ for more details about GLPK. The GNU Readline library is optionally used to provide command editing, tab completion, and history functionality at the CVC prompt |