Change Log Report

Total number of changed sets: 1

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

Total commits: 15
Total number of files changed: 64

Timestamp Author Details
2009-05-20 18:44:11 leberre /maven/trunk/org.sat4j.core/src/test/java/org/sat4j/minisat/AbstractAcceptanceTestCase.java v 461

Timeout is now 60s for each test case.
2009-05-16 23:42:13 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/DotSearchListener.java v 459
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/TextOutputListener.java v 459

Allow the output listeners to use the dependency helper mapping.
2009-05-16 23:41:19 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java v 458

Fixed timeout exception message.
2009-05-16 15:13:17 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/core/ReadOnlyVec.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/core/ReadOnlyVecInt.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/core/Vec.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Counter.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/DotSearchListener.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/TextOutputListener.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/AbstractSelectorVariablesDecorator.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MinOneDecorator.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/reader/DimacsReader.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IConstr.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IOptimizationProblem.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/ISolver.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IVec.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IVecInt.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/Lbool.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/SearchListener.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsOutputSolver.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsStringSolver.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/SolutionCounter.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/SolverDecorator.java v 457
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/Xplain.java v 457

More @since tags thanks to Eclipse API tooling.
2009-05-16 13:58:51 leberre /maven/trunk/org.sat4j.core/.project v 456
/maven/trunk/org.sat4j.core/.settings/.api_filters v 456
/maven/trunk/org.sat4j.core/.settings/org.eclipse.pde.api.tools.prefs v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/SolverFactory.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/BinaryClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/CBClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Clauses.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/HTClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntBinaryClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntHTClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Lits.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/OriginalHTClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/OriginalWLClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/UnitClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/UnitClauses.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Constr.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Counter.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/ILits.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/UnitPropagationListener.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/restarts/LubyRestarts.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MinOneDecorator.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/reader/DimacsReader.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/reader/EfficientScanner.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IOptimizationProblem.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/ISolver.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsOutputSolver.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsStringSolver.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/GateTranslator.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/ModelIterator.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/SolverDecorator.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/Pair.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/QuickXplainStrategy.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/ReplayXplainStrategy.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/Xplain.java v 456
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/XplainStrategy.java v 456

Added @since tags thanks to Eclipse API tooling.
2009-05-15 21:30:06 leberre /maven/trunk/org.sat4j.core/src/test/java/org/sat4j/minisat/AbstractAcceptanceTestCase.java v 452

Returning a reader, no longer an InstanceReader.
2009-05-15 20:38:16 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/reader/AAGReader.java v 450
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/reader/EfficientScanner.java v 450

Removed access to java.util.Scanner class.
2009-05-15 20:17:52 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/Minimal4InclusionModel.java v 444

Fixed ECJ warning.
2009-05-13 14:17:24 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java v 438

Removed debugging message on the console.
2009-05-13 14:04:16 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java v 436
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java v 436

learned literals are now properly handled in the solver.
2009-05-12 23:11:14 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java v 435

Probable fix for Eclipse Bug275101
2009-05-12 15:11:29 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/BinaryClause.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/CBClause.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/HTClause.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/UnitClause.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/UnitClauses.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Constr.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/UnitPropagationListener.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java v 432
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/OptToSatAdapter.java v 432

Allow proper management of unit clauses deletion.
2009-05-11 23:45:57 leberre /maven/trunk/org.sat4j.core/src/test/java/org/sat4j/minisat/core/Bug275101.java v 429

Initial support for iterating over optimal solutions.
2009-05-11 23:45:34 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java v 428
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java v 428
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/opt/MinOneDecorator.java v 428
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/IOptimizationProblem.java v 428
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/specs/ISolver.java v 428
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsOutputSolver.java v 428
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsStringSolver.java v 428
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/ModelIterator.java v 428
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/OptToSatAdapter.java v 428
/maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/SolverDecorator.java v 428

Initial support for iterating over optimal solutions.
2009-05-04 23:10:27 leberre /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/ModelIterator.java v 427
/maven/trunk/org.sat4j.core/src/test/java/org/sat4j/ModelIteratorTest.java v 427

Added the possibility to limit the number of models returned by ModelIterator.