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


INSTALL
-------
See INSTALL file in the home dir of this program


LICENSE
-------
See LICENSE file in the home dir of this program


WEBSITE
-------
http://sites.google.com/site/stpfastprover


SOURCEFORGE REPOSITORY
----------------------
http://sourceforge.net/projects/stp-fast-prover


DOCUMENTATION
-------------
http://sites.google.com/site/stpfastprover/stp-documentation


PAPERS
------
http://sites.google.com/site/stpfastprover/stp-papers


CHECKING YOUR INSTALLATION
--------------------------

make check


REGRESSIONS
-----------

Assumes you have downloaded the testcases as follows:

svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/stp-tests

You may need to update the TEST_PREFIX in scripts/Makefile.common, to point to the
directory in which you checked out the test cases. Some test cases have fixed timeouts,
depending on your machine's speed, some test cases may "fail" because they do not 
finish within the timeout. Such timeout failures are unlikely to be a serious problem.

make regressall
