Change Log Report

Total number of changed sets: 1

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

Total commits: 10
Total number of files changed: 14

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-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.
2010-06-17 09:53:32 Daniel Le Berre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java v 719

Improved the lookup of binary product new vars.
2010-06-11 18:18:13 Daniel Le Berre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/ObjectiveFunction.java v 717

Better solution.
2010-06-11 18:17:35 Daniel Le Berre /maven/trunk/org.sat4j.pb/src/main/java/org/sat4j/pb/ObjectiveFunction.java v 716

Fixed objective function format.
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.