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 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.