Change Log Report

Total number of changed sets: 1

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

Total commits: 38
Total number of files changed: 98

Timestamp Author Details
2009-05-25 14:21:17 leberre /maven/trunk/org.sat4j.multicore/src/main/java/org/sat4j/multicore/ManyCore.java v 464

Fixed the missing methods.
2009-05-20 23:15:15 leberre /maven/trunk/org.sat4j.sat/src/main/java/org/sat4j/sat/Lanceur.java v 462

Fixed new constructor for DotSearchListener.
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-19 11:29:33 leberre /maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/AbstractPBRandomCardProblemsTest.java v 460

Removed InstanceReader. Changed into OPB reader.
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 22:25:37 leberre /maven/trunk/build.xml v 455

Make Eclipse compiler the default java compiler.
2009-05-15 21:38:19 leberre /maven/trunk/org.sat4j.pb/src/test/testfiles/bug275101.opb v 454

Added new test file.
2009-05-15 21:30:40 leberre /maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java v 453
/maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/TestEclipseBug275101.java v 453
/maven/trunk/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/AbstractEZPseudoBooleanAndPigeonHoleTest.java v 453

Move GoodOPBReader to tests since it is only used there.
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:45:08 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/GoodOPBReader.java v 451
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/PBInstanceReader.java v 451

Removed references to GooOPBReader.
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:26:50 leberre /maven/trunk/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/reader/WDimacsReader.java v 449

Removed unused imports.
2009-05-15 20:23:40 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBEclipseReader2007.java v 448

Fixed ECJ warning.
2009-05-15 20:22:47 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBEclipseReader2007.java v 447

Fixed ECJ warning.
2009-05-15 20:21:18 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoIteratorDecorator.java v 446

Fixed ECJ warning.
2009-05-15 20:21:10 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java v 445

Fixed ECJ warning.
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-15 11:52:07 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java v 443
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java v 443

Fixed for Eclipse bug 276412
2009-05-14 23:36:15 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java v 442

New user friendly output to debug domain encodings.
2009-05-14 22:17:23 parrain /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoAllSolutionDecorator.java v 441
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java v 441
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java v 441
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IDataStructurePB.java v 441
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java v 441

should really be FIXED now : assertive literal is now the first literal in learned clauses
2009-05-14 18:03:46 parrain /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java v 440
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.java v 440
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/CompetPBMaxMixedHTClauseCardConstrDataStructure.java v 440
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.java v 440
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java v 440

FIXED : assertive literal is now the first literal in learned clauses
2009-05-13 16:01:41 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java v 439

Fixed the problem of missing objective function.
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:10:11 leberre /maven/trunk/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java v 437

Make sure to remove the last constraint that makes the formula unsatisfiable to allow iterating over the optimal solutions.
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 22:42:46 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java v 434

fixed optimization keyword.
2009-05-12 15:11:43 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java v 433
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java v 433

Allow proper management of unit clauses deletion.
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:46:22 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoOptDecorator.java v 431

Initial support for iterating over optimal solutions.
2009-05-11 23:46:10 leberre /maven/trunk/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/MinCostDecorator.java v 430
/maven/trunk/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java v 430

Initial support for iterating over optimal solutions.
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.
2009-04-27 10:20:23 leberre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DependencyHelper.java v 426
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DisjunctionRHS.java v 426
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationAnd.java v 426
/maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationRHS.java v 426

Allow to disable explanation support from the helper.