From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sat, 21 Aug 2010 19:57:59 +0000 (+0000)
Subject: minor changes to INSTALL instructions
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=3c394b9b183022f04ab4daa87bc2a76563cb65e8;p=francis%2Fstp.git

minor changes to INSTALL instructions

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@997 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/INSTALL b/INSTALL
index ff7e770..639369c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -15,27 +15,12 @@ DEFAULT INSTALL INSTRUCTION (Linux, MacOS, or Windows (Cygwin))
    ./clean-install.sh
 
 
-
-INSTALLING STP WITH DIFFERENT SAT SOLVERS
-=========================================
-
-* To compile STP only with MiniSAT:
-
-   ./clean-install.sh --with-minisat-core
-
-* To compile STP only with CryptoMiniSAT:
-
-   ./clean-install.sh --with-cryptominisat2
-
-
-
 COMPILING STP WITH g++ IN A SPECIFIED PATH
 ==========================================
 
    ./clean-install.sh --with-g++ = <path>
 
 
-
 INSTALLING STP IN A DIRECTORY OF YOUR CHOICE
 ============================================
 
@@ -47,7 +32,6 @@ directory, libstp.a in the lib directory, c_interface.h in the include
 directory)
 
 
-
 RUNNING STP ON WINDOWS USING CYGWIN
 ===================================