10

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



2011-11-18T11:12:27.888772Z
1422
trevor_hansen
has-props













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




2011-12-13T02:40:15.000000Z
ed8557b89982c44d326740871f4c0b44
2011-06-16T03:54:40.099573Z
1343
trevor_hansen
has-props




















25836

RemoveUnconstrained.h
file




2011-12-13T02:40:15.000000Z
956b128a03b48a3533cb0da48d104a81
2011-02-22T00:16:17.916798Z
1156
trevor_hansen





















986

bvsolver.cpp
file




2011-12-13T02:40:15.000000Z
67212aff654723dd48f091f501d0b657
2011-09-01T12:29:37.022906Z
1392
trevor_hansen





















32667

simplifier.cpp
file




2011-12-13T02:40:15.000000Z
5d5807eb2ab83697d1300b2d5e1918f7
2011-11-18T11:12:27.888772Z
1422
trevor_hansen





















119976

AlwaysTrue.h
file




2011-12-13T02:40:15.000000Z
b369549523bcbbafd22f63be7c9de14e
2011-05-01T12:48:53.898060Z
1297
trevor_hansen





















2569

MutableASTNode.cpp
file




2011-12-13T02:40:15.000000Z
92771e91f5da7151d808247b158cb84d
2011-02-14T01:11:30.245954Z
1145
trevor_hansen





















181

bvsolver.h
file




2011-12-13T02:40:15.000000Z
3db8f5dd4c03684e2d4e95c40452cbce
2011-04-07T13:36:23.637936Z
1255
trevor_hansen





















5587

UseITEContext.h
file




2011-12-13T02:40:15.000000Z
8ba95aed40dffc3c10895e19bef18554
2011-04-07T13:38:52.852647Z
1256
trevor_hansen





















3499

simplifier.h
file




2011-12-13T02:40:15.000000Z
51c0f9526c174b9b4075c64ab19b7a08
2011-04-27T02:36:30.731845Z
1285
trevor_hansen





















9864

SubstitutionMap.cpp
file




2011-12-13T02:40:15.000000Z
fbb7b22ae1341a88a6316a8ec08cf47a
2011-05-01T14:20:34.842960Z
1298
trevor_hansen





















13988

EstablishIntervals.h
file




2011-12-13T02:40:15.000000Z
974020f0679aac9316f5f4c08ecee2ef
2011-08-09T05:15:54.412542Z
1381
trevor_hansen





















28120

MutableASTNode.h
file




2011-12-13T02:40:15.000000Z
e28fd4bfba82c1758494dec51a78e0d0
2011-03-29T13:18:23.408351Z
1246
trevor_hansen





















8594

AIGSimplifyPropositionalCore.h
file




2011-12-13T02:40:15.000000Z
157e15e99d6d79ea661596c3abb276bd
2011-03-06T23:15:48.890075Z
1191
trevor_hansen





















5795

SubstitutionMap.h
file




2011-12-13T02:40:15.000000Z
6c7ba7c026d0fced4bc22dabf86a8853
2011-04-13T02:00:29.726747Z
1268
trevor_hansen





















5418

VariablesInExpression.cpp
file




2011-12-13T02:40:15.000000Z
d43375853a15e7b3d298fff5d0e9fd55
2011-02-01T12:41:57.474185Z
1111
trevor_hansen





















4850

FindPureLiterals.h
file




2011-12-13T02:40:15.000000Z
822d60fdd62f0b6e79bb9c61216511b2
2011-02-26T03:56:39.523181Z
1170
trevor_hansen





















3005

VariablesInExpression.h
file




2011-12-13T02:40:15.000000Z
998eee4cd9c51874364c442799c06615
2011-01-30T05:44:01.431284Z
1098
trevor_hansen





















1929

constantBitP
dir

RemoveUnconstrained.cpp
file




2011-12-13T02:40:15.000000Z
56f6f180dae5c9af7fcfd57296fabe15
2011-08-06T04:02:44.967262Z
1378
trevor_hansen





















24605

Makefile
file




2011-12-13T02:40:15.000000Z
2cc0d2ed76222b6fefb62e4c5f9815d6
2011-02-08T12:18:01.284257Z
1126
trevor_hansen





















316

Symbols.h
file




2011-12-13T02:40:15.000000Z
c09b27b3b33ae454dcd6d59f81d40379
2011-07-12T05:09:42.383820Z
1366
trevor_hansen





















1095

