10

dir
665
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_1_1/org.sat4j.core/src/main/java/org/sat4j/minisat/core
svn://svn.forge.objectweb.org/svnroot/sat4j



2009-07-27T12:41:57.312764Z
500
leberre














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




2010-03-26T11:42:32.493378Z
7a2d2274dfb6b437504d4f7bd1033ba6
2008-06-10T18:28:02.624411Z
8
leberre





















3720

Propagatable.java
file




2010-03-26T11:42:32.494380Z
71a4b4735f4b56b19166728996401cd3
2008-06-10T18:28:02.624411Z
8
leberre





















2164

IPhaseSelectionStrategy.java
file




2010-03-26T11:42:32.494380Z
e14620e74f9c4ad7545b328ab50bbfae
2008-06-10T18:28:02.624411Z
8
leberre





















2859

ActivityListener.java
file




2010-03-26T11:42:32.494380Z
1fe581b35c7d048893e6d34b6f65fb70
2008-06-10T18:28:02.624411Z
8
leberre





















1771

AssertingClauseGenerator.java
file




2010-03-26T11:42:32.495379Z
f744369182430bf3f1224f544021318d
2008-06-10T18:28:02.624411Z
8
leberre





















2605

NullSearchListener.java
file




2010-03-26T11:42:32.495379Z
dda57e05ca9cc2f2ba534fdbe45c8704
2008-12-14T14:49:20.606785Z
244
leberre





















2274

RestartStrategy.java
file




2010-03-26T11:42:32.495379Z
a4207a9152d6b641c5a1366054f33947
2008-06-24T15:32:16.509626Z
67
leberre





















2226

Constr.java
file




2010-03-26T11:42:32.496383Z
395fb3556123aa8c6a550eff4e3743d9
2009-05-16T11:58:51.055803Z
456
leberre





















3715

SearchParams.java
file




2010-03-26T11:42:32.496383Z
a30e862ac433f92cc8853bcec66c4d4d
2008-06-10T18:28:02.624411Z
8
leberre





















4928

Solver.java
file




2010-03-26T11:42:32.497638Z
05e3b250703d02a1b86f8c625090cff7
2009-07-27T12:41:57.312764Z
500
leberre





















42205

TextOutputListener.java
file




2010-03-26T11:42:32.497638Z
1779336753d5bc3e9fd4b247a6c5daa1
2009-05-16T21:42:13.252705Z
459
leberre





















3216

VarActivityListener.java
file




2010-03-26T11:42:32.497638Z
f9d69845686c9fd7dc8bd7c9723e70bb
2008-06-10T18:28:02.624411Z
8
leberre





















1911

Heap.java
file




2010-03-26T11:42:32.498629Z
4cc9b4730494bd1807dda89ec08fb12a
2008-06-10T18:28:02.624411Z
8
leberre





















4533

package.html
file




2010-03-26T11:42:32.498629Z
45756d2c7e9e5573c28d9940f9702178
2008-06-10T18:28:02.624411Z
8
leberre





















200

Counter.java
file




2010-03-26T11:42:32.498629Z
b3558147ad1298f00b771d5425ea1ea9
2009-05-16T13:13:17.120386Z
457
leberre





















1791

LearningStrategy.java
file




2010-03-26T11:42:32.499629Z
4128c70bc661544f07c53723f7a1be7b
2009-02-14T16:46:36.003489Z
312
leberre





















2060

DotSearchListener.java
file




2010-03-26T11:42:32.499629Z
31fea12ae2eefffad7aff031d931644c
2009-05-16T21:42:13.252705Z
459
leberre





















5882

DataStructureFactory.java
file




2010-03-26T11:42:32.500630Z
1447e68ce2ad15456ebff690ab3ee7d4
2009-02-14T16:08:10.632713Z
310
leberre





















3042

IOrder.java
file




2010-03-26T11:42:32.500630Z
9a11d1798b4cdcce1d24048401235bf6
2009-02-14T16:08:10.632713Z
310
leberre





















4161

ILits.java
file




2010-03-26T11:42:32.500630Z
e985cae0ce3e75f2d534b2d8cc2859f1
2009-05-16T11:58:51.055803Z
456
leberre





















4767

Learner.java
file




2010-03-26T11:42:32.501630Z
724d483659de57fea67fdd743bf71926
2008-06-10T18:28:02.624411Z
8
leberre





















1642

SolverStats.java
file




2010-03-26T11:42:32.501630Z
726eee7951aa43d6fa17996fe312ce11
2008-06-10T18:28:02.624411Z
8
leberre





















4355

Undoable.java
file




2010-03-26T11:42:32.501630Z
043dd19faf6854f7c4ac7b74d97083dd
2008-06-10T18:28:02.624411Z
8
leberre





















1777

UnitPropagationListener.java
file




2010-03-26T11:42:32.502629Z
924e58600f79915767e51a7c100269da
2009-05-16T11:58:51.055803Z
456
leberre





















2421

Pair.java
file




2010-03-26T11:42:32.502629Z
8554600dd49d20a8562cb057a2591a2b
2008-06-10T18:28:02.624411Z
8
leberre





















1828

ConstrActivityListener.java
file




2010-03-26T11:42:32.502629Z
cebb564cbe9a03f0e6523164dad9acd4
2008-06-10T18:28:02.624411Z
8
leberre





















1821

