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/tools
svn://svn.forge.objectweb.org/svnroot/sat4j



2010-06-17T19:31:07.536010Z
721
leberre














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




2010-11-24T13:43:50.164705Z
73e843c15912649acb306208d9bddcc9
2009-12-13T11:39:26.193351Z
587
leberre





















1617

ExtendedDimacsArrayReader.java
file




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





















4722

DecisionTracing.java
file




2010-11-24T13:43:50.166705Z
de4d9d2fff67ddab98c3c8b6100be673
2009-12-13T11:39:26.193351Z
587
leberre





















1711

SingleSolutionDetector.java
file




2010-11-24T13:43:50.166705Z
7238b4dbacd61c79f6cd84dffd4203f2
2008-08-06T08:44:50.821294Z
108
leberre





















4445

ModelIterator.java
file




2010-11-24T13:43:50.166705Z
20b014f96abe5d5f77679195fb8b68e9
2009-05-16T11:58:51.055803Z
456
leberre





















3986

LearnedClauseSizeTracing.java
file




2010-11-24T13:43:50.166705Z
c3b9d441905650224798ada0fd78e86d
2009-12-13T11:39:26.193351Z
587
leberre





















1631

xplain
dir

DimacsOutputSolver.java
file




2010-11-24T13:43:50.167705Z
445adc1380e77737b2a5b7678b6e5a13
2010-03-20T13:15:32.311192Z
651
leberre





















7461

SolutionCounter.java
file




2010-11-24T13:43:50.167705Z
e8d07e76b4e556198ccaa10552dd7a55
2009-05-16T13:13:17.120386Z
457
leberre





















3677

RemiUtils.java
file




2010-11-24T13:43:50.170705Z
473daed6f4d4bc527ef58b67ead6c626
2009-12-13T14:02:59.253051Z
589
leberre





















2657

SolverDecorator.java
file




2010-11-24T13:43:50.170705Z
d64710efbe7520364c904c407bbace2a
2010-05-24T20:12:12.484053Z
694
leberre





















9061

TextOutputTracing.java
file




2010-11-24T13:43:50.167705Z
bcb53510c6710ae3b73e4c5001b40d7a
2009-10-18T13:57:34.155410Z
520
leberre





















3458

OptToSatAdapter.java
file




2010-11-24T13:43:50.171705Z
c3819b5e6a6f4a09803e674bf096bca7
2009-05-12T13:11:29.407658Z
432
leberre





















3866

package.html
file




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





















53

Minimal4CardinalityModel.java
file




2010-11-24T13:43:50.174705Z
6a0bd775ddaefd33c5f0d8c28f1d2cf2
2009-01-16T20:47:48.419004Z
273
leberre





















3259

Minimal4InclusionModel.java
file




2010-11-24T13:43:50.174705Z
e1629e75904822a3058a905d23819e59
2009-05-15T18:17:52.126925Z
444
leberre





















3306

DimacsStringSolver.java
file




2010-11-24T13:43:50.174705Z
9dca229bbeb6b659e6207d2bda8857b6
2010-03-20T13:15:32.311192Z
651
leberre





















8326

DimacsArrayReader.java
file




2010-11-24T13:43:50.174705Z
7e735bc36baccfcabfcd8d3de6530bb1
2008-06-10T18:28:02.624411Z
8
leberre





















3909

DotSearchTracing.java
file




2010-11-24T13:43:50.174705Z
6dbc8f2c39d0a8a83dcaf573f791f885
2009-12-04T22:08:52.392219Z
572
leberre





















6036

ConstrGroup.java
file




2010-11-24T13:43:50.174705Z
6d73b38bb6892fc52d134934048e8780
2010-06-17T19:31:07.536010Z
721
leberre





















3173

GateTranslator.java
file




2010-11-24T13:43:50.174705Z
fb941d80025daebbf61aa6364f8a3d71
2010-05-24T20:12:12.484053Z
694
leberre





















14334

DecisionLevelTracing.java
file




2010-11-24T13:43:50.174705Z
daf455da039d5c71f7b83fb43b58b169
2009-12-13T11:39:26.193351Z
587
leberre





















1625

