File Activity Report

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

Total commits: 15
Total number of files changed: 64

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.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.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.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.core/src/main/java/org/sat4j/tools/Minimal4InclusionModel.java 1
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/reader/AAGReader.java 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