Change Log Report

Total number of changed sets: 1

Changes between 2010-06-03 and 2010-07-04

Total commits: 5
Total number of files changed: 11

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 22:07:20 Daniel Le Berre /maven/trunk/org.sat4j.multicore/pom.xml v 723

Fixed dependencies.
2010-06-17 21:31:48 Daniel Le Berre /maven/trunk/org.sat4j.multicore/src/main/java/org/sat4j/multicore/ManyCore.java v 722
/maven/trunk/org.sat4j.multicore/src/main/java/org/sat4j/multicore/ManyCorePB.java v 722

Uses new version of ConstrGroup.
2010-05-31 14:26:23 Daniel Le Berre /maven/trunk/org.sat4j.multicore/src/main/java/org/sat4j/multicore/ManyCore.java v 715

reduces waiting time in order to have more chances to display a solution before being killed.