File Activity Report

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

Total commits: 38
Total number of files changed: 98

Filename Number of Times Changed
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java 8
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java 5
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java 3
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/ModelIterator.java 3
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MinOneDecorator.java 3
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IOptimizationProblem.java 3
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/ISolver.java 3
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsOutputSolver.java 3
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsStringSolver.java 3
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/SolverDecorator.java 3
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/OptToSatAdapter.java 2
/maven/trunk/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java 2
/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.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/BinaryClause.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/CBClause.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/HTClause.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/UnitClause.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/UnitClauses.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Constr.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/UnitPropagationListener.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/reader/EfficientScanner.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Counter.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/reader/DimacsReader.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/Xplain.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/DotSearchListener.java 2
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/TextOutputListener.java 2
/maven/trunk/org.sat4j.core/src/test/java/org/sat4j/minisat/AbstractAcceptanceTestCase.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.core/src/test/java/org/sat4j/ModelIteratorTest.java 1
/maven/trunk/org.sat4j.core/src/test/java/org/sat4j/minisat/core/Bug275101.java 1
/maven/trunk/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/MinCostDecorator.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.core/src/main/java/org/sat4j/tools/Minimal4InclusionModel.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.maxsat/src/main/java/org/sat4j/maxsat/reader/WDimacsReader.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/reader/AAGReader.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/build.xml 1
/maven/trunk/org.sat4j.core/.project 1
/maven/trunk/org.sat4j.core/.settings/.api_filters 1
/maven/trunk/org.sat4j.core/.settings/org.eclipse.pde.api.tools.prefs 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/SolverFactory.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Clauses.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntBinaryClause.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntHTClause.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Lits.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/OriginalHTClause.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/OriginalWLClause.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/ILits.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/restarts/LubyRestarts.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/GateTranslator.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/Pair.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/QuickXplainStrategy.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/ReplayXplainStrategy.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/XplainStrategy.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/core/ReadOnlyVec.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/core/ReadOnlyVecInt.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/core/Vec.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/AbstractSelectorVariablesDecorator.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IConstr.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IVec.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IVecInt.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/Lbool.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/SearchListener.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/SolutionCounter.java 1
/maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/AbstractPBRandomCardProblemsTest.java 1
/maven/trunk/org.sat4j.sat/src/main/java/org/sat4j/sat/Lanceur.java 1
/maven/trunk/org.sat4j.multicore/src/main/java/org/sat4j/multicore/ManyCore.java 1