10

dir
825
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.0/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints
svn://svn.forge.objectweb.org/svnroot/sat4j



2010-03-20T13:15:05.739177Z
650
leberre














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




2010-11-24T13:43:51.791705Z
20108fe95712daf6de2a02aa20c581cf
2009-12-12T21:29:04.036665Z
579
leberre
has-props




















421

AbstractRandomCardProblemsTest.java
file




2010-11-24T13:43:51.791705Z
086ffaa343cd6d1a161681e0d4f8874d
2009-01-16T21:23:14.267992Z
275
leberre





















5531

CounterPBConstrWithClauseLearningTest.java
file




2010-11-24T13:43:51.795705Z
fd2e8a146e1fb198c80d4540c962ec78
2009-01-16T21:23:14.267992Z
275
leberre





















2342

PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.java
file




2010-11-24T13:43:51.794705Z
93b5f11c446e5d3c6ed16db257d455f1
2009-01-16T21:23:14.267992Z
275
leberre





















2092

WatchedPBConstrWithClauseLearningTest.java
file




2010-11-24T13:43:51.792705Z
ba75ac8dd797733dcf245771db7bf6cf
2009-01-16T21:23:14.267992Z
275
leberre





















2344

MyCounterCardConstrOnRandomCardProblemsTest.java
file




2010-11-24T13:43:51.795705Z
b59982e95b3f5a6e81ed4f2e6db88ba7
2009-01-16T21:23:14.267992Z
275
leberre





















2358

CompetPBResHTMixedConstraintsObjectiveLearningTest.java
file




2010-11-24T13:43:51.796705Z
1c847c1f232c5819cf1331f7e0359d9b
2009-04-08T20:05:39.528976Z
387
parrain
has-props




















2072

CounterPBConstrWithClauseAtLeastConstrLearningTest.java
file




2010-11-24T13:43:51.798705Z
fb16cf70559e6a525c3d2e89364a6db4
2009-01-16T21:23:14.267992Z
275
leberre





















2210

PuebloWatchedPBConstrWithClauseLearningTest.java
file




2010-11-24T13:43:51.798705Z
936f559422c1837caffd7e8d1e6ab439
2009-01-16T21:23:14.267992Z
275
leberre





















2362

CompetPBResMinHTMixedConstraintsObjectiveLearningTest.java
file




2010-11-24T13:43:51.799705Z
e7994a058a4d02c0bf451168dd7e4440
2009-04-08T20:05:39.528976Z
387
parrain
has-props




















2081

AbstractEZPseudoBooleanAndPigeonHoleTest.java
file




2010-11-24T13:43:51.803705Z
f5877f07b0dc7d789cd65524baac54ad
2009-05-15T19:30:40.445694Z
453
leberre





















5962

PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest.java
file




2010-11-24T13:43:51.802705Z
82f63f2fa68a2ae960bbd48127ab6f84
2009-01-16T21:23:14.267992Z
275
leberre





















2391

TestQuickExplainPB.java
file




2010-11-24T13:43:51.801705Z
b6eb3a39fd3c22d26f4077e952d010e4
2010-03-20T13:15:05.739177Z
650
leberre





















9069

AbstractPseudoBooleanAndPigeonHoleTest.java
file




2010-11-24T13:43:51.805705Z
c47bc27ec08dc6d459db27910f823812
2009-01-16T21:23:14.267992Z
275
leberre





















7409

PBCPMixedConstraintsCautiousTest.java
file




2010-11-24T13:43:51.803705Z
9a82c8956f42dbe68f2c985e020f0d40
2009-11-16T11:55:32.372209Z
535
parrain
has-props




















428

CounterPBConstrWithPBConstrLearningTest.java
file




2010-11-24T13:43:51.806705Z
cdfc5f1401c3bff1be4a965cb7c3c1ab
2009-01-16T21:23:14.267992Z
275
leberre





















2344

WatchedPBConstrWithPBConstrLearningTest.java
file




2010-11-24T13:43:51.808705Z
6e9550440b96efe7a294b0df8d6b7ea2
2009-01-16T21:23:14.267992Z
275
leberre





















2344

AbstractPBRandomCardProblemsTest.java
file




2010-11-24T13:43:51.809705Z
f7bbca5474a2d0bbb3d62d824c646e00
2009-05-19T09:29:33.471873Z
460
leberre





















2056

CounterPBWithClauseCardConstrLearningReduceToClauseTest.java
file




2010-11-24T13:43:51.809705Z
3f5e73971eb800e3b88da2791be533d1
2009-01-16T21:23:14.267992Z
275
leberre





















2082

CounterPBConstrWithClauseCardConstrLearningTest.java
file




2010-11-24T13:43:51.809705Z
8e717949cdf43d57d75ac95d0dfaa8f8
2009-01-16T21:23:14.267992Z
275
leberre





















2141

CounterPBConstrOnRandomCardProblemsTest.java
file




2010-11-24T13:43:51.811705Z
01b4ccb806f0779b61b8091545a5b2e7
2009-01-16T21:23:14.267992Z
275
leberre





















2298

WatchedPBConstrOnRandomCardProblemsTest.java
file




2010-11-24T13:43:51.814705Z
b2298d06ea457dc975aafc65951294af
2009-01-16T21:23:14.267992Z
275
leberre





















2324

CounterPBConstrClauseImpliedWithClauseCardConstrLearning.java
file




2010-11-24T13:43:51.814705Z
e7441c59a504a4470b8012b5dce2810d
2009-01-16T21:23:14.267992Z
275
leberre





















2039

PuebloWatchedPBConstrWithPBConstrLearningTest.java
file




2010-11-24T13:43:51.814705Z
d4707b3ed0542fbd0698a9f56f623160
2009-01-16T21:23:14.267992Z
275
leberre





















2362

CounterPBConstrWithCBClauseCardConstrLearningTest.java
file




2010-11-24T13:43:51.814705Z
97d4919a64ad7dd92ce88160fa6779d3
2009-01-16T21:23:14.267992Z
275
leberre





















2083

AllTests.java
file




2010-11-24T13:43:51.814705Z
6e756c33d3967404a88d4f83734f3f25
2009-11-16T12:02:59.356661Z
536
parrain





















3302

AbstractPigeonHoleWithCardinalityTest.java
file




2010-11-24T13:43:51.815705Z
121fa07dfa9de8f3b3daabc33e963216
2009-01-16T21:23:14.267992Z
275
leberre





















4695

PuebloWatchedPBConstrOnRandomCardProblemsTest.java
file




2010-11-24T13:43:51.815705Z
a8dc5f76fbb5b49d65f5f7c882257a2c
2009-01-16T21:23:14.267992Z
275
leberre





















2341

CounterCardConstrOnRandomCardProblemsTest.java
file




2010-11-24T13:43:51.815705Z
febd0849ed6bfbd6f4a12561956c69bc
2009-01-16T21:23:14.267992Z
275
leberre





















2360

WatchedCardConstrOnRandomCardProblemsTest.java
file




2010-11-24T13:43:51.815705Z
be11a2cc6b7adaf6b1f6c99db1f388f4
2009-01-16T21:23:14.267992Z
275
leberre





















2336

