]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
projects / francis / stp.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 323b891)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 28 Aug 2009 21:41:03 +0000 (21:41 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 28 Aug 2009 21:41:03 +0000 (21:41 +0000)
README patch | blob | history

diff --git a/README b/README
index 9efd76a99a839274c45d5de4beedce4078a855a9..3bc7485d89e4a9721e45c7f6ac847509470e4ed6 100644 (file)
--- a/README
+++ b/README
@@ -25,3 +25,7 @@ http://people.csail.mit.edu/vganesh/stp.html
 DOCUMENTATION
 -------------
 http://people.csail.mit.edu/vganesh/STP_files/stp-docs.html
+
+cd papers
+
+
STP Constraint Solver.