Change Log Report

Total number of changed sets: 1

Changes between 2009-04-26 and 2009-05-27

Total commits: 17
Total number of files changed: 28

Timestamp Author Details
2009-05-19 11:29:33 leberre /maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/AbstractPBRandomCardProblemsTest.java v 460

Removed InstanceReader. Changed into OPB reader.
2009-05-15 21:38:19 leberre /maven/trunk/org.sat4j.pb/src/test/testfiles/bug275101.opb v 454

Added new test file.
2009-05-15 21:30:40 leberre /maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java v 453
/maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/TestEclipseBug275101.java v 453
/maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/AbstractEZPseudoBooleanAndPigeonHoleTest.java v 453

Move GoodOPBReader to tests since it is only used there.
2009-05-15 20:45:08 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/GoodOPBReader.java v 451
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/PBInstanceReader.java v 451

Removed references to GooOPBReader.
2009-05-15 20:23:40 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBEclipseReader2007.java v 448

Fixed ECJ warning.
2009-05-15 20:22:47 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBEclipseReader2007.java v 447

Fixed ECJ warning.
2009-05-15 20:21:18 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoIteratorDecorator.java v 446

Fixed ECJ warning.
2009-05-15 20:21:10 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java v 445

Fixed ECJ warning.
2009-05-15 11:52:07 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java v 443
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java v 443

Fixed for Eclipse bug 276412
2009-05-14 23:36:15 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java v 442

New user friendly output to debug domain encodings.
2009-05-14 22:17:23 parrain /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoAllSolutionDecorator.java v 441
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java v 441
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java v 441
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IDataStructurePB.java v 441
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java v 441

should really be FIXED now : assertive literal is now the first literal in learned clauses
2009-05-14 18:03:46 parrain /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java v 440
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.java v 440
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/CompetPBMaxMixedHTClauseCardConstrDataStructure.java v 440
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.java v 440
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java v 440

FIXED : assertive literal is now the first literal in learned clauses
2009-05-13 16:01:41 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java v 439

Fixed the problem of missing objective function.
2009-05-12 22:42:46 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java v 434

fixed optimization keyword.
2009-05-12 15:11:43 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java v 433
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java v 433

Allow proper management of unit clauses deletion.
2009-05-11 23:46:22 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoOptDecorator.java v 431

Initial support for iterating over optimal solutions.
2009-04-27 10:20:23 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DependencyHelper.java v 426
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DisjunctionRHS.java v 426
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationAnd.java v 426
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationRHS.java v 426

Allow to disable explanation support from the helper.