K 25
svn:wc:ra_dav:version-url
V 63
/svnroot/stp-fast-prover/!svn/ver/1427/trunk/stp/src/STPManager
END
UserDefinedFlags.h
K 25
svn:wc:ra_dav:version-url
V 82
/svnroot/stp-fast-prover/!svn/ver/1414/trunk/stp/src/STPManager/UserDefinedFlags.h
END
STPManager.cpp
K 25
svn:wc:ra_dav:version-url
V 78
/svnroot/stp-fast-prover/!svn/ver/1326/trunk/stp/src/STPManager/STPManager.cpp
END
DifficultyScore.h
K 25
svn:wc:ra_dav:version-url
V 81
/svnroot/stp-fast-prover/!svn/ver/1272/trunk/stp/src/STPManager/DifficultyScore.h
END
STP.cpp
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/stp-fast-prover/!svn/ver/1427/trunk/stp/src/STPManager/STP.cpp
END
STPManager.h
K 25
svn:wc:ra_dav:version-url
V 76
/svnroot/stp-fast-prover/!svn/ver/1356/trunk/stp/src/STPManager/STPManager.h
END
STP.h
K 25
svn:wc:ra_dav:version-url
V 69
/svnroot/stp-fast-prover/!svn/ver/1312/trunk/stp/src/STPManager/STP.h
END
Makefile
K 25
svn:wc:ra_dav:version-url
V 72
/svnroot/stp-fast-prover/!svn/ver/1126/trunk/stp/src/STPManager/Makefile
END
