10

dir
1434
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover



2011-11-30T14:03:06.460365Z
1432
trevor_hansen
has-props













e59a4935-1847-0410-ae03-e826735625c1

LICENSE
file




2011-12-13T02:40:59.000000Z
4570b405b9dbb676cf152997f938a66f
2009-08-28T21:38:48.258879Z
158
vijay_ganesh





















1325

include
dir

AUTHORS
file




2011-12-13T02:40:59.000000Z
7389c1899c2ef75cb14ade935a5552c5
2011-11-10T18:57:23.162398Z
1411
raphael-michel





















1216

scripts
dir

src
dir

LICENSE_COMPONENTS
file




2011-12-13T02:40:59.000000Z
dca82a378fd7970b01570b8525cd4eac
2011-06-16T05:31:00.976283Z
1344
trevor_hansen





















9329

windows
dir

papers
dir

README
file




2011-12-13T02:40:59.000000Z
503d0b60656e925ba2b5959c743bc209
2010-05-13T14:26:32.228121Z
766
trevor_hansen





















1385

clean-install.sh
file




2011-12-13T02:40:59.000000Z
9a7c45cd0de2f1a928a5906e2d7ea497
2011-08-09T14:06:23.853472Z
1384
trevor_hansen
has-props




















119

tests
dir

INSTALL
file




2011-12-13T02:40:59.000000Z
3f99a42825c93c381db81665a9835cd7
2010-08-21T19:57:59.185130Z
997
vijay_ganesh





















1144

lib
dir

CODING_GUIDLINES
file




2011-12-13T02:40:59.000000Z
74cd8ab9d055cd2893c1b0ff70e7e0f8
2009-10-27T17:45:53.395765Z
346
vijay_ganesh





















250

DOWNLOAD
file




2011-12-13T02:40:59.000000Z
2e9ea978a3b9bc6443aea7a6cc0bebfd
2009-09-08T16:52:00.041567Z
204
vijay_ganesh





















418

bin
dir

unit_test
dir

