diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-04-26 17:10:21 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-26 17:10:21 -0400 |
| commit | 9098391fe334d829ec4101f190b8f1fa21c30752 (patch) | |
| tree | b134fc1fe1c767a50013e1449330ca6a7ee18a3d /INSTALL | |
| parent | a9174ce4dc3939bbe14c9aa1fd11c79c7877eb16 (diff) | |
FCSimplex branch merge
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -96,6 +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: GNU Readline library (for an improved interactive experience) Optional: The Boost C++ threading library (libboost_thread) Optional: CxxTest unit testing framework @@ -114,6 +115,14 @@ CVC4 with CLN support, you are licensing CVC4 under that same license. 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. +(Usually CVC4's license is more permissive; see above discussion.) +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 (when running in interactive mode). Check your distribution for a |