10

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



2011-11-28T05:33:34.806135Z
1427
trevor_hansen
has-props













e59a4935-1847-0410-ae03-e826735625c1

UserDefinedFlags.h
file




2011-12-13T02:40:13.000000Z
fb1cb74de780af8c4edfde36df9a2070
2011-11-13T12:37:29.308452Z
1414
trevor_hansen





















8138

STPManager.cpp
file




2011-12-13T02:40:13.000000Z
74dcc6abf8af91c325c6b618f60c514d
2011-05-11T04:15:15.182012Z
1326
trevor_hansen
has-props




















21242

DifficultyScore.h
file




2011-12-13T02:40:13.000000Z
a16a1d914afa1661228843d3eb25a3cf
2011-04-13T12:41:03.981218Z
1272
trevor_hansen





















2278

STP.cpp
file




2011-12-13T02:40:13.000000Z
4fd9f4ddc244644e0be87ddb8c787bdd
2011-11-28T05:33:34.806135Z
1427
trevor_hansen





















23481

STPManager.h
file




2011-12-13T02:40:13.000000Z
01e4a2efcc37159469a8ea112570a39d
2011-06-26T16:23:55.050524Z
1356
trevor_hansen





















15952

STP.h
file




2011-12-13T02:40:13.000000Z
4e032d0aa71c7e32409c7d7570a4c7e3
2011-05-07T12:00:42.944465Z
1312
trevor_hansen





















3898

Makefile
file




2011-12-13T02:40:13.000000Z
ef50cbfcea41255e99ce139cccb27dc8
2011-02-08T12:18:01.284257Z
1126
trevor_hansen





















267

