10

dir
665
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_1_1/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints
svn://svn.forge.objectweb.org/svnroot/sat4j



2009-05-19T09:29:33.471873Z
460
leberre














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




2010-03-26T11:42:33.390631Z
086ffaa343cd6d1a161681e0d4f8874d
2009-01-16T21:23:14.267992Z
275
leberre





















5531

CounterPBConstrWithClauseLearningTest.java
file




2010-03-26T11:42:33.391629Z
fd2e8a146e1fb198c80d4540c962ec78
2009-01-16T21:23:14.267992Z
275
leberre





















2342

PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.java
file




2010-03-26T11:42:33.390631Z
93b5f11c446e5d3c6ed16db257d455f1
2009-01-16T21:23:14.267992Z
275
leberre





















2092

WatchedPBConstrWithClauseLearningTest.java
file




2010-03-26T11:42:33.390631Z
ba75ac8dd797733dcf245771db7bf6cf
2009-01-16T21:23:14.267992Z
275
leberre





















2344

MyCounterCardConstrOnRandomCardProblemsTest.java
file




2010-03-26T11:42:33.391629Z
b59982e95b3f5a6e81ed4f2e6db88ba7
2009-01-16T21:23:14.267992Z
275
leberre





















2358

CompetPBResHTMixedConstraintsObjectiveLearningTest.java
file




2010-03-26T11:42:33.392629Z
1c847c1f232c5819cf1331f7e0359d9b
2009-04-08T20:05:39.528976Z
387
parrain
has-props




















2072

CounterPBConstrWithClauseAtLeastConstrLearningTest.java
file




2010-03-26T11:42:33.392629Z
fb16cf70559e6a525c3d2e89364a6db4
2009-01-16T21:23:14.267992Z
275
leberre





















2210

PuebloWatchedPBConstrWithClauseLearningTest.java
file




2010-03-26T11:42:33.392629Z
936f559422c1837caffd7e8d1e6ab439
2009-01-16T21:23:14.267992Z
275
leberre





















2362

CompetPBResMinHTMixedConstraintsObjectiveLearningTest.java
file




2010-03-26T11:42:33.393629Z
e7994a058a4d02c0bf451168dd7e4440
2009-04-08T20:05:39.528976Z
387
parrain
has-props




















2081

AbstractEZPseudoBooleanAndPigeonHoleTest.java
file




2010-03-26T11:42:33.394629Z
f5877f07b0dc7d789cd65524baac54ad
2009-05-15T19:30:40.445694Z
453
leberre





















5962

PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest.java
file




2010-03-26T11:42:33.394629Z
82f63f2fa68a2ae960bbd48127ab6f84
2009-01-16T21:23:14.267992Z
275
leberre





















2391

TestQuickExplainPB.java
file




2010-03-26T11:42:33.393629Z
4e80f2ae8c6b0996c40772da6f731ee8
2009-03-03T23:46:17.430222Z
352
leberre





















9069

AbstractPseudoBooleanAndPigeonHoleTest.java
file




2010-03-26T11:42:33.395630Z
c47bc27ec08dc6d459db27910f823812
2009-01-16T21:23:14.267992Z
275
leberre





















7409

CounterPBConstrWithPBConstrLearningTest.java
file




2010-03-26T11:42:33.395630Z
cdfc5f1401c3bff1be4a965cb7c3c1ab
2009-01-16T21:23:14.267992Z
275
leberre





















2344

WatchedPBConstrWithPBConstrLearningTest.java
file




2010-03-26T11:42:33.395630Z
6e9550440b96efe7a294b0df8d6b7ea2
2009-01-16T21:23:14.267992Z
275
leberre





















2344

AbstractPBRandomCardProblemsTest.java
file




2010-03-26T11:42:33.396629Z
f7bbca5474a2d0bbb3d62d824c646e00
2009-05-19T09:29:33.471873Z
460
leberre





















2056

CounterPBWithClauseCardConstrLearningReduceToClauseTest.java
file




2010-03-26T11:42:33.396629Z
3f5e73971eb800e3b88da2791be533d1
2009-01-16T21:23:14.267992Z
275
leberre





















2082

CounterPBConstrWithClauseCardConstrLearningTest.java
file




2010-03-26T11:42:33.396629Z
8e717949cdf43d57d75ac95d0dfaa8f8
2009-01-16T21:23:14.267992Z
275
leberre





















2141

CounterPBConstrOnRandomCardProblemsTest.java
file




2010-03-26T11:42:33.397629Z
01b4ccb806f0779b61b8091545a5b2e7
2009-01-16T21:23:14.267992Z
275
leberre





















2298

WatchedPBConstrOnRandomCardProblemsTest.java
file




2010-03-26T11:42:33.397629Z
b2298d06ea457dc975aafc65951294af
2009-01-16T21:23:14.267992Z
275
leberre





















2324

CounterPBConstrClauseImpliedWithClauseCardConstrLearning.java
file




2010-03-26T11:42:33.397629Z
e7441c59a504a4470b8012b5dce2810d
2009-01-16T21:23:14.267992Z
275
leberre





















2039

PuebloWatchedPBConstrWithPBConstrLearningTest.java
file




2010-03-26T11:42:33.398629Z
d4707b3ed0542fbd0698a9f56f623160
2009-01-16T21:23:14.267992Z
275
leberre





















2362

CounterPBConstrWithCBClauseCardConstrLearningTest.java
file




2010-03-26T11:42:33.398629Z
97d4919a64ad7dd92ce88160fa6779d3
2009-01-16T21:23:14.267992Z
275
leberre





















2083

AllTests.java
file




2010-03-26T11:42:33.398629Z
d1ad5915ae11089b25596703e2d50650
2009-01-16T21:23:14.267992Z
275
leberre





















3334

AbstractPigeonHoleWithCardinalityTest.java
file




2010-03-26T11:42:33.399629Z
121fa07dfa9de8f3b3daabc33e963216
2009-01-16T21:23:14.267992Z
275
leberre





















4695

PuebloWatchedPBConstrOnRandomCardProblemsTest.java
file




2010-03-26T11:42:33.399629Z
a8dc5f76fbb5b49d65f5f7c882257a2c
2009-01-16T21:23:14.267992Z
275
leberre





















2341

CounterCardConstrOnRandomCardProblemsTest.java
file




2010-03-26T11:42:33.400629Z
febd0849ed6bfbd6f4a12561956c69bc
2009-01-16T21:23:14.267992Z
275
leberre





















2360

WatchedCardConstrOnRandomCardProblemsTest.java
file




2010-03-26T11:42:33.400629Z
be11a2cc6b7adaf6b1f6c99db1f388f4
2009-01-16T21:23:14.267992Z
275
leberre





















2336

