Change Log Report

Total number of changed sets: 1

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

Total commits: 25
Total number of files changed: 50

TimestampAuthorDetails
2007-08-30 12:22:22leberrehtml/index.php v 1.14
html/news.php v 1.13

Updated web site content.
2007-08-30 12:04:09leberrehtml/doc.php v 1.10
html/index.php v 1.13

Updated web site with R17 information.
2007-08-30 10:30:44leberresrc/sat4j.version v 1.116

Release 1.7
2007-08-30 10:27:59leberresrc/org/sat4j/minisat/core/Solver.java v 1.87

Fixed typos in the javadoc comments (thanks Eclipse Europa :)).
2007-08-30 10:27:37leberresrc/org/sat4j/minisat/core/IOrder.java v 1.8

Fixed typos in the javadoc comments (thanks Eclipse Europa :)).
2007-08-30 10:24:00leberresrc/org/sat4j/minisat/core/Solver.java v 1.86

Removed remaining restart framework debug display.
2007-08-28 17:39:09leberresrc/org/sat4j/minisat/constraints/pb/WatchPb.java v 1.26
src/org/sat4j/reader/OPBReader2007.java v 1.9

Fixed Javadoc comments.
2007-08-28 17:24:53leberresrc/org/sat4j/Lanceur.java v 1.50
src/org/sat4j/minisat/SolverFactory.java v 1.54
src/org/sat4j/minisat/core/Solver.java v 1.85

Removed dependency to MiniSATRestarts in Solver to break a last cycle in package dependencies.
2007-08-28 17:24:52leberresrc/org/sat4j/minisat/constraints/pb/PBSolver.java v 1.29

Removed dependency to MiniSATRestarts in Solver to break a last cycle in package dependencies.
2007-08-28 16:15:01leberresrc/org/sat4j/minisat/core/Solver.java v 1.84

Removed assertion in Solver that was adding a dependency to constraints.cnf
2007-08-28 16:07:44leberresrc/org/sat4j/LanceurPseudo2005.java v 1.34
src/org/sat4j/minisat/orders/VarOrderHeapObjective.java v 1.6
src/org/sat4j/opt/ObjectiveFunction.java v 1.1
src/org/sat4j/opt/PseudoOptDecorator.java v 1.6
src/org/sat4j/reader/OPBReader2005.java v 1.21
src/org/sat4j/reader/ObjectiveFunction.java v 1.5

Moved ObjectiveFunction class to package org.sat4j.opt to break a cycle between opt and reader packages.
2007-08-28 15:48:26leberresrc/org/sat4j/minisat/constraints/pb/MapPb.java v 1.16

Removed unused import.
2007-08-28 15:44:53leberresrc/org/sat4j/minisat/constraints/pb/AtLeastPB.java v 1.8
src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java v 1.12
src/org/sat4j/minisat/constraints/pb/WatchPb.java v 1.25
src/org/sat4j/reader/OPBReader2006.java v 1.5
src/org/sat4j/reader/OPBReader2007.java v 1.8

Fixed more javadoc problems.
2007-08-28 15:33:38leberresrc/org/sat4j/AbstractLauncher.java v 1.32
src/org/sat4j/Lanceur.java v 1.49
src/org/sat4j/minisat/constraints/AbstractPBDataStructureFactory.java v 1.7
src/org/sat4j/minisat/constraints/PBMaxDataStructure.java v 1.4
src/org/sat4j/minisat/constraints/card/MinWatchCard.java v 1.14
src/org/sat4j/minisat/core/RestartStrategy.java v 1.4
src/org/sat4j/reader/OPBReader2005.java v 1.20

Fixed javadoc issues.
2007-08-28 15:33:37leberresrc/org/sat4j/minisat/constraints/pb/ConflictMapClause.java v 1.3
src/org/sat4j/minisat/constraints/pb/ConflictMapMerging.java v 1.3
src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java v 1.20
src/org/sat4j/minisat/constraints/pb/MinWatchPb.java v 1.17

Fixed javadoc issues.
2007-08-28 15:07:14leberresrc/org/sat4j/minisat/constraints/pb/AtLeastPB.java v 1.7
src/org/sat4j/minisat/constraints/pb/MapPb.java v 1.15
src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java v 1.11
src/org/sat4j/minisat/constraints/pb/WatchPb.java v 1.24
src/org/sat4j/minisat/core/Solver.java v 1.83
src/org/sat4j/minisat/learning/ActiveLearning.java v 1.8
src/org/sat4j/minisat/learning/ClauseOnlyLearning.java v 1.3
src/org/sat4j/reader/AAGReader.java v 1.11
src/org/sat4j/reader/AIGReader.java v 1.10
src/org/sat4j/reader/OPBReader2005.java v 1.19

Fixed PMD warnings.
2007-08-28 14:51:03leberresrc/org/sat4j/reader/OPBReader2007.java v 1.7

Removed wrong toString() call to a String!!!
2007-08-28 14:49:20leberresrc/org/sat4j/minisat/restarts/ArminRestarts.java v 1.6
src/org/sat4j/minisat/restarts/LubyRestarts.java v 1.5
src/org/sat4j/minisat/restarts/MiniSATRestarts.java v 1.5

Added default serial version ID to new serializable classes.
2007-08-28 14:38:05leberresrc/org/sat4j/minisat/core/DotSearchListener.java v 1.9

Fix serialization problem.
2007-08-28 14:13:02leberresrc/org/sat4j/tools/ExtendedDimacsArrayReader.java v 1.4

Removed duplicated code.
2007-08-28 13:36:29leberresrc/org/sat4j/LanceurPseudo2005.java v 1.33

Fixed generics warning.
2007-08-28 13:36:07leberresrc/org/sat4j/minisat/SolverFactory.java v 1.53

The solvers returned by the factory methods are now fully typed (from a generics point of view).
2007-08-28 12:41:04leberresrc/org/sat4j/reader/AIGReader.java v 1.9
src/org/sat4j/reader/OPBReader2007.java v 1.6

Fixed findbugs warnings when necessary.
Added a comment DLB findbugs ok is the code is ok and the warning can be safely ignored.
2007-08-28 12:41:03leberresrc/org/sat4j/Lanceur.java v 1.48
src/org/sat4j/core/ASolverFactory.java v 1.4
src/org/sat4j/core/Vec.java v 1.15
src/org/sat4j/minisat/constraints/pb/ConflictMap.java v 1.28
src/org/sat4j/minisat/core/DotSearchListener.java v 1.8
src/org/sat4j/minisat/core/Heap.java v 1.6
src/org/sat4j/minisat/core/RestartStrategy.java v 1.3
src/org/sat4j/minisat/core/Solver.java v 1.82
src/org/sat4j/minisat/learning/AbstractLearning.java v 1.6
src/org/sat4j/minisat/learning/MiniSATLearning.java v 1.9
src/org/sat4j/minisat/orders/JWOrder.java v 1.11
src/org/sat4j/minisat/orders/MyOrder.java v 1.9
src/org/sat4j/opt/MinCostDecorator.java v 1.5
src/org/sat4j/opt/MinOneDecorator.java v 1.7
src/org/sat4j/opt/PseudoOptDecorator.java v 1.5
src/org/sat4j/reader/csp/EnumeratedDomain.java v 1.5

Fixed findbugs warnings when necessary.
Added a comment DLB findbugs ok is the code is ok and the warning can be safely ignored.
2007-08-28 11:31:47leberresrc/org/sat4j/Lanceur.java v 1.47

Fixed generics related warnings.