File Activity Report

Changes between 2007-07-31 and 2007-08-31

Total commits: 25
Total number of files changed: 50

FilenameNumber of Times Changed
src/org/sat4j/minisat/core/Solver.java 6
src/org/sat4j/Lanceur.java 4
src/org/sat4j/reader/OPBReader2007.java 4
src/org/sat4j/reader/OPBReader2005.java 3
src/org/sat4j/minisat/constraints/pb/WatchPb.java 3
src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java 2
html/index.php 2
src/org/sat4j/minisat/constraints/pb/MapPb.java 2
src/org/sat4j/LanceurPseudo2005.java 2
src/org/sat4j/minisat/core/RestartStrategy.java 2
src/org/sat4j/minisat/SolverFactory.java 2
src/org/sat4j/opt/PseudoOptDecorator.java 2
src/org/sat4j/minisat/constraints/pb/AtLeastPB.java 2
src/org/sat4j/minisat/core/DotSearchListener.java 2
src/org/sat4j/reader/AIGReader.java 2
src/org/sat4j/opt/ObjectiveFunction.java 1
html/doc.php 1
src/org/sat4j/minisat/orders/JWOrder.java 1
src/org/sat4j/reader/AAGReader.java 1
src/sat4j.version 1
html/news.php 1
src/org/sat4j/minisat/constraints/card/MinWatchCard.java 1
src/org/sat4j/core/Vec.java 1
src/org/sat4j/minisat/constraints/pb/MinWatchPb.java 1
src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java 1
src/org/sat4j/minisat/constraints/pb/ConflictMap.java 1
src/org/sat4j/minisat/constraints/pb/PBSolver.java 1
src/org/sat4j/minisat/constraints/pb/ConflictMapClause.java 1
src/org/sat4j/minisat/constraints/pb/ConflictMapMerging.java 1
src/org/sat4j/minisat/learning/ClauseOnlyLearning.java 1
src/org/sat4j/AbstractLauncher.java 1
src/org/sat4j/core/ASolverFactory.java 1
src/org/sat4j/minisat/constraints/PBMaxDataStructure.java 1
src/org/sat4j/tools/ExtendedDimacsArrayReader.java 1
src/org/sat4j/minisat/restarts/LubyRestarts.java 1
src/org/sat4j/minisat/restarts/MiniSATRestarts.java 1
src/org/sat4j/opt/MinCostDecorator.java 1
src/org/sat4j/reader/OPBReader2006.java 1
src/org/sat4j/reader/ObjectiveFunction.java 1
src/org/sat4j/reader/csp/EnumeratedDomain.java 1
src/org/sat4j/minisat/core/Heap.java 1
src/org/sat4j/minisat/learning/AbstractLearning.java 1
src/org/sat4j/minisat/orders/VarOrderHeapObjective.java 1
src/org/sat4j/minisat/restarts/ArminRestarts.java 1
src/org/sat4j/minisat/constraints/AbstractPBDataStructureFactory.java 1
src/org/sat4j/opt/MinOneDecorator.java 1
src/org/sat4j/minisat/core/IOrder.java 1
src/org/sat4j/minisat/learning/ActiveLearning.java 1
src/org/sat4j/minisat/learning/MiniSATLearning.java 1
src/org/sat4j/minisat/orders/MyOrder.java 1