| 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. |
