Filewatcher File Search File Search
Catalog
Content Search
» » » » » » stp-0.1-6.fc15.i686.rpm » Content »
pkg://stp-0.1-6.fc15.i686.rpm:12742412/usr/share/doc/stp-0.1/  info  HEADER  downloads

stp - Constraint solver/decision procedure…  more info»

README

/********************************************************************
 * PROGRAM NAME: STP (Simple Theorem Prover)	
 *		
 * AUTHORS: Vijay Ganesh, David L. Dill
 *	
 * 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

Authors
-------
Vijay Ganesh, Stanford University, Stanford, CA, USA
David L. Dill, Stanford University, Stanford, CA, USA
Tim King, Stanford University, Stanford, CA, USA

Makefiles and configuration scripts
------------------------------------
Cristian Cadar, Stanford University, Stanford, CA, USA
Paul Twohey, Stanford University, Stanford, CA, USA
Sergey Berezin, ATG Synopsys, Mountain View, CA, USA
Clark Barrett, New York University, New York, NY, USA
Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com