File Activity Report

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

Total commits: 17
Total number of files changed: 28

Filename Number of Times Changed
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java 3
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java 2
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java 2
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBEclipseReader2007.java 2
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DependencyHelper.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DisjunctionRHS.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationAnd.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationRHS.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoOptDecorator.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/CompetPBMaxMixedHTClauseCardConstrDataStructure.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoAllSolutionDecorator.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IDataStructurePB.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoIteratorDecorator.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/GoodOPBReader.java 1
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/PBInstanceReader.java 1
/maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java (from /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/GoodOPBReader.java:450) 1
/maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/TestEclipseBug275101.java 1
/maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/AbstractEZPseudoBooleanAndPigeonHoleTest.java 1
/maven/trunk/org.sat4j.pb/src/test/testfiles/bug275101.opb 1
/maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/AbstractPBRandomCardProblemsTest.java 1