10

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



2011-02-08T12:22:10.260423Z
1128
trevor_hansen














e59a4935-1847-0410-ae03-e826735625c1

PartFinder.cpp
file




2011-12-13T02:40:22.000000Z
f1f26e60c4c9ebe27ffe2b4d7016b168
2010-07-02T14:35:28.190426Z
907
msoos





















5991

XorSubsumer.cpp
file




2011-12-13T02:40:22.000000Z
271fae79388d20adc264b0fcb153665b
2010-07-26T12:21:20.211124Z
953
msoos





















19149

XorFinder.cpp
file




2011-12-13T02:40:22.000000Z
c88a253f2f0d3cbf0eec0856f6eb4ddc
2010-07-02T14:35:28.190426Z
907
msoos





















15224

MatrixFinder.h
file




2011-12-13T02:40:22.000000Z
0171319a122d21f2255e4cc0a8d12c4f
2010-06-04T18:11:26.348159Z
813
msoos





















2038

time_mem.h
file




2011-12-13T02:40:22.000000Z
6b41cc839b5ee2b986a412d3ecbf315a
2010-04-16T14:51:57.163102Z
684
msoos





















2708

MersenneTwister.h
file




2011-12-13T02:40:22.000000Z
81234ef2671c2112430bbf6fbf8d009d
2010-06-04T18:11:26.348159Z
813
msoos





















14145

CSet.h
file




2011-12-13T02:40:22.000000Z
f27f401403e04d2942e5828155422c29
2010-07-02T14:35:28.190426Z
907
msoos





















3590

MTRand
dir

SolverTypes.h
file




2011-12-13T02:40:22.000000Z
8763343119ed92bfce846a1da0442587
2010-07-02T14:35:28.190426Z
907
msoos





















5275

VERSION
file




2011-12-13T02:40:22.000000Z
64f191bc99925449cdf087b062a33a93
2010-07-04T18:17:55.112022Z
920
msoos





















69

ClauseCleaner.cpp
file




2011-12-13T02:40:22.000000Z
87aa64360f899f425994c925b7d77ae8
2010-07-04T18:17:55.112022Z
920
msoos





















12637

FindUndef.h
file




2011-12-13T02:40:22.000000Z
866bac53ff859668070757810b64f4bc
2010-06-04T18:11:26.348159Z
813
msoos





















1730

RestartTypeChooser.cpp
file




2011-12-13T02:40:22.000000Z
f47f5c93e772a4de3485660f33ee5ab3
2010-04-18T15:50:28.266966Z
688
msoos





















4718

PartHandler.h
file




2011-12-13T02:40:22.000000Z
fec3a645f137da6189b24d54c38a8e2b
2010-07-02T14:35:28.190426Z
907
msoos





















2706

Subsumer.h
file




2011-12-13T02:40:22.000000Z
a52f8cfd1cd650e1d3a9c491500f8659
2010-07-02T14:35:28.190426Z
907
msoos





















8103

FailedVarSearcher.cpp
file




2011-12-13T02:40:22.000000Z
76900d78ea4d079696bc77b026240463
2010-07-02T14:35:28.190426Z
907
msoos





















25695

VarReplacer.h
file




2011-12-13T02:40:22.000000Z
f3005c51b1ad5842f4ddeef2ea9e4703
2010-07-02T14:35:28.190426Z
907
msoos





















4737

mtl
dir

ClauseAllocator.cpp
file




2011-12-13T02:40:22.000000Z
35251b7636961a0b4d5a484f9eca03d6
2010-07-04T18:17:55.112022Z
920
msoos





















13422

OnlyNonLearntBins.cpp
file




2011-12-13T02:40:22.000000Z
f8fef7388889174d7523adc0924cb1f1
2010-07-02T14:35:28.190426Z
907
msoos





















5009

PackedRow.cpp
file




2011-12-13T02:40:22.000000Z
3c8636407cb8f5ae95a4ffee93210154
2010-04-14T18:18:39.208271Z
676
msoos





















3336

Logger.cpp
file




2011-12-13T02:40:22.000000Z
3df9ba10c84bf29ad4bc498c357a99f9
2010-06-04T18:11:26.348159Z
813
msoos





















31161

DoublePackedRow.h
file




2011-12-13T02:40:22.000000Z
894b9695ea34e8d6e8d61995cbbf8bff
2010-06-04T18:11:26.348159Z
813
msoos





















5310

Gaussian.h
file




2011-12-13T02:40:22.000000Z
f1a42af17bc330758cb6c5754b211fa2
2010-07-02T14:35:28.190426Z
907
msoos





















9540

Solver.h
file




2011-12-13T02:40:22.000000Z
40df979cbc4a6f9fa520ac8299608e4f
2010-07-02T14:35:28.190426Z
907
msoos





















34363

PackedMatrix.h
file




2011-12-13T02:40:22.000000Z
bbf43f77d802509f21b1b09b56e10f01
2010-04-14T18:18:39.208271Z
676
msoos





















5225

Clause.h
file




2011-12-13T02:40:22.000000Z
d9eca3c3e81a4bb9d0c3b992b843c681
2010-07-04T18:17:55.112022Z
920
msoos





















8719

StateSaver.cpp
file




2011-12-13T02:40:22.000000Z
18e43a0fcffab109105cc275ad4ba27c
2010-06-04T17:56:12.759190Z
812
msoos





















2067

UselessBinRemover.h
file




2011-12-13T02:40:22.000000Z
ede87eb021e78e29765cd8cd8596d918
2010-07-02T14:35:28.190426Z
907
msoos





















1737

constants.h
file




2011-12-13T02:40:22.000000Z
64c9814dd70a7c74cdccd8585d2dd547
2010-07-02T14:35:28.190426Z
907
msoos





















2212

BitArray.h
file




2011-12-13T02:40:22.000000Z
06855f92cd06ff63fc46a56f70c7ced6
2010-06-04T18:11:26.348159Z
813
msoos





















4163

msvc
dir

MatrixFinder.cpp
file




2011-12-13T02:40:22.000000Z
2be73d0d20422999364ca9386b31e302
2010-06-04T18:11:26.348159Z
813
msoos





















8896

Makefile
file




2011-12-13T02:40:22.000000Z
bf04852802f3850f6bcce6ac63ba2154
2011-02-08T12:18:01.284257Z
1126
trevor_hansen





















835

CMakeLists.txt
file




2011-12-13T02:40:22.000000Z
758047c149be6f4f6e897b5bb9379fc4
2010-07-05T09:27:00.551171Z
925
msoos





















1588

FindUndef.cpp
file




2011-12-13T02:40:22.000000Z
2644f0664065799ff6ebfb1494ddf354
2010-06-04T18:11:26.348159Z
813
msoos





















5017

PartFinder.h
file




2011-12-13T02:40:22.000000Z
94d37cfe264a45527390278651ed7bb1
2010-04-14T18:18:39.208271Z
676
msoos





















2713

XorSubsumer.h
file




2011-12-13T02:40:22.000000Z
44bb812481e7cdc073d7b6e5e66e2c63
2010-07-02T14:35:28.190426Z
907
msoos





















3897

PartHandler.cpp
file




2011-12-13T02:40:22.000000Z
20062d4fd872c538d6d29c76f107807b
2010-07-02T14:49:00.423340Z
911
msoos





















13130

GaussianConfig.h
file




2011-12-13T02:40:22.000000Z
9ea5cae7458a24c3cf1b6fd04797f37f
2010-06-04T18:11:26.348159Z
813
msoos





















1977

Subsumer.cpp
file




2011-12-13T02:40:22.000000Z
86a8a1282e03c35ff5056cc7193a9dd0
2010-07-26T12:17:44.514185Z
952
msoos





















62673

XorFinder.h
file




2011-12-13T02:40:22.000000Z
ea6e5b6fd1dfe1aef5d810bb33147d55
2010-04-28T12:24:57.363466Z
731
msoos





















4854

VarReplacer.cpp
file




2011-12-13T02:40:22.000000Z
1fc566dbe3d4443baab5d880d6af1353
2010-07-02T14:58:09.398220Z
912
msoos





















18110

Gaussian.cpp
file




2011-12-13T02:40:22.000000Z
cda27fdd3714e47cdf293157d8c2912f
2010-07-02T14:35:28.190426Z
907
msoos





















37816

Solver.cpp
file




2011-12-13T02:40:22.000000Z
ae686786b465a3156571be0447d3a321
2010-07-04T18:17:55.112022Z
920
msoos





















84621

ClauseCleaner.h
file




2011-12-13T02:40:22.000000Z
4252691ffd91497c86efa45d379ce238
2010-06-04T18:11:26.348159Z
813
msoos





















3104

UselessBinRemover.cpp
file




2011-12-13T02:40:22.000000Z
f69549bbab421fc60b6e15c564e0aecd
2010-07-02T14:35:28.190426Z
907
msoos





















6680

RestartTypeChooser.h
file




2011-12-13T02:40:22.000000Z
bf9579516fcf3fdb9d72ac5f17213a01
2010-04-14T18:18:39.208271Z
676
msoos





















1937

FailedVarSearcher.h
file




2011-12-13T02:40:22.000000Z
e51b61dc2866e7ccaaa6c568829d59d7
2010-07-02T14:35:28.190426Z
907
msoos





















4606

ClauseAllocator.h
file




2011-12-13T02:40:22.000000Z
4465e3fcb313a2ac9d39dde8231e651b
2010-11-28T02:45:43.084546Z
1028
trevor_hansen





















3079

OnlyNonLearntBins.h
file




2011-12-13T02:40:22.000000Z
3cd264fb368b85fef41a45c7f7eab70d
2010-07-02T14:35:28.190426Z
907
msoos





















1560

PackedRow.h
file




2011-12-13T02:40:22.000000Z
4f0304a717aa049c8a1a6e9db3559a37
2011-02-08T12:22:10.260423Z
1128
trevor_hansen





















6073

Main.cpp
file




2011-12-13T02:40:22.000000Z
4b5464f50a159475c6828303b423b4eb
2010-07-05T09:27:00.551171Z
925
msoos





















35561

Logger.h
file




2011-12-13T02:40:22.000000Z
75e9e0d4805829e0c8c95d9f31cf3388
2010-06-04T18:11:26.348159Z
813
msoos





















6157

StateSaver.h
file




2011-12-13T02:40:22.000000Z
d1aa60d3218c15e3a0cb59833233de4e
2010-06-04T17:56:12.759190Z
812
msoos





















1421

XSet.h
file




2011-12-13T02:40:22.000000Z
0e52421ce90b567972b1bc553c26e86e
2010-07-02T14:35:28.190426Z
907
msoos





















3841

BoundedQueue.h
file




2011-12-13T02:40:22.000000Z
11989d36275df60457a6fc413bd9c953
2010-06-04T18:11:26.348159Z
813
msoos





















3326

