Total number of changed sets: 1
Total commits: 4
Total number of files changed: 10
| Timestamp | Author | Details |
|---|---|---|
| 2010-06-23 17:41:32 | Daniel Le Berre | /maven/tags/org.sat4j.pom-2.2.0 v 725 creating the tag for 2.2.0 official release. |
| 2010-06-23 09:28:28 | Daniel Le Berre | /maven/trunk/org.sat4j.core/pom.xml v 724 /maven/trunk/org.sat4j.csp/pom.xml v 724 /maven/trunk/org.sat4j.csp.xmlparser/pom.xml v 724 /maven/trunk/org.sat4j.maxsat/pom.xml v 724 /maven/trunk/org.sat4j.multicore/pom.xml v 724 /maven/trunk/org.sat4j.pb/pom.xml v 724 /maven/trunk/org.sat4j.sat/pom.xml v 724 /maven/trunk/pom.xml v 724 [maven-release-plugin] prepare release org.sat4j.pom-2.2.0 |
| 2010-06-17 21:31:07 | Daniel Le Berre | /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/ConstrGroup.java v 721 Visibility for the second constructor to public. Added javadoc. |
| 2010-06-17 21:24:49 | Daniel Le Berre | /maven/trunk/org.sat4j.core/src/main/java/org/sat4j/tools/ConstrGroup.java v 720 Added back feature preventing adding unit clauses in a group. |
