Total number of changed sets: 1
Total commits: 3
Total number of files changed: 3
| Timestamp | Author | Details |
|---|---|---|
| 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-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-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. |
