Total number of changed sets: 1
Total commits: 2
Total number of files changed: 1
| Timestamp | Author | Details |
|---|---|---|
| 2009-01-08 18:04:29 | leberre | /maven/tags/2_0_5/org.sat4j.sat/src/main/java/org/sat4j/Lanceur.java
v 258
Updated message. |
| 2009-01-08 18:02:55 | leberre | /maven/tags/2_0_5/org.sat4j.sat/src/main/java/org/sat4j/Lanceur.java
v 257
Added a new option to find models with at least a given number of falsified literals. |
