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 ff7e770bc2baf56857ae4dd88688d9e68ad07aa3..639369c25b5744b4caa8b9aae1373e1873faaab4 100644 (file)
--- 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
 ===================================