/********************************************************************
 * PROGRAM NAME: STP (Simple Theorem Prover)	
 *		
 * AUTHORS: Vijay Ganesh
 *	
 * BEGIN DATE: November, 2005
 *
 * LICENSE: Please view LICENSE file in the home dir of this Program
 ********************************************************************/


DEFAULT INSTALL INSTRUCTION (Linux, MacOS, or Windows (Cygwin))
===============================================================

   ./clean-install.sh


COMPILING STP WITH g++ IN A SPECIFIED PATH
==========================================

   ./clean-install.sh --with-g++ = <path>


INSTALLING STP IN A DIRECTORY OF YOUR CHOICE
============================================

   ./clean-install.sh --with-prefix=<dir>

(Note that the install script will create 3 directories in <dir>,
namely, bin, include and lib. STP executable will be put in the bin
directory, libstp.a in the lib directory, c_interface.h in the include
directory)


RUNNING STP ON WINDOWS USING CYGWIN
===================================

* To run on Windows Natively:

   * Compile STP inside cygwin as above
   * Add cygwin DLLs to PATH
   * Run

