/******************************************************************** * 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