10

dir
825
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.0/org.sat4j.core/src/main/java/org/sat4j/minisat/orders
svn://svn.forge.objectweb.org/svnroot/sat4j



2010-05-24T20:12:12.484053Z
694
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

RandomWalkDecorator.java
file




2010-11-24T13:43:50.678705Z
6974086b62fd06d21393a208340afb2a
2009-12-13T09:22:34.250615Z
581
leberre





















1864

VarOrderHeap.java
file




2010-11-24T13:43:50.678705Z
60a5b06ae7d3d65670300e5fddb43d12
2009-02-14T16:08:10.632713Z
310
leberre





















6471

RSATPhaseSelectionStrategy.java
file




2010-11-24T13:43:50.679705Z
c800f787840366c0bca4b1cb737ba415
2009-12-04T22:08:52.392219Z
572
leberre





















2003

RandomLiteralSelectionStrategy.java
file




2010-11-24T13:43:50.679705Z
fe7adcad822d0eb212504ddc796de2a5
2010-05-24T20:12:12.484053Z
694
leberre





















2452

PureOrder.java
file




2010-11-24T13:43:50.681705Z
39de2c6210f06461284094ba9bb47b25
2009-12-04T22:08:52.392219Z
572
leberre





















2824

NegativeLiteralSelectionStrategy.java
file




2010-11-24T13:43:50.681705Z
5808c975c1533bd50ec9676ccf723a43
2009-12-04T22:08:52.392219Z
572
leberre





















2112

PositiveLiteralSelectionStrategy.java
file




2010-11-24T13:43:50.681705Z
d5d4799930a2717f8ed6719e5c08f99f
2009-12-04T22:08:52.392219Z
572
leberre





















2112

UserFixedPhaseSelectionStrategy.java
file




2010-11-24T13:43:50.681705Z
84b4dfe3b6029907779e9ecc1f2f8a18
2009-12-04T22:08:52.392219Z
572
leberre





















2032

PhaseCachingAutoEraseStrategy.java
file




2010-11-24T13:43:50.681705Z
a7b6be2b18c02546a980510307d5e963
2009-12-04T22:08:52.392219Z
572
leberre





















488

ValuedLit.java
file




2010-11-24T13:43:50.684705Z
0b0570eba64cb4b051b7a7dc346ea21a
2009-12-04T22:08:52.392219Z
572
leberre





















2322

AbstractPhaserecordingSelectionStrategy.java
file




2010-11-24T13:43:50.684705Z
cb51823064d74477307310b61e13427a
2008-06-10T18:28:02.624411Z
8
leberre





















2139

PhaseInLastLearnedClauseSelectionStrategy.java
file




2010-11-24T13:43:50.684705Z
cf0e359c6e5a584c6c071461424701ba
2009-12-04T22:08:52.392219Z
572
leberre





















2089

package.html
file




2010-11-24T13:43:50.684705Z
a25ac68f60ad8cbd208395dd8c6fd124
2008-06-10T18:28:02.624411Z
8
leberre





















75

