diff options
author | Tim King <taking@cs.nyu.edu> | 2014-05-19 15:12:54 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2014-05-19 15:12:54 -0400 |
commit | 6d0b65966d7715ca6891ebe0f6e9bea0a63edb90 (patch) | |
tree | 936ebd0e5ee88a7d0778b36102b86f4138d5fab1 /INSTALL | |
parent | 3ce2f2590ba541e901403707e924ad10f0b5f7d5 (diff) |
Fixing documentation for glpk configuration.
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -114,7 +114,6 @@ 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. -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 |