Total number of changed sets: 1
Total commits: 4
Total number of files changed: 7
| Timestamp | Author | Details |
|---|---|---|
| 2009-01-31 15:57:02 | leberre | /maven/tags/2_0_5/org.sat4j.helper/src/test/java/org/sat4j/helper/TestDependencyHelper.java
v 302
/maven/tags/2_0_5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/BinaryClausePB.java v 302 /maven/tags/2_0_5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/UnitClausePB.java v 302 dded missing copyright headers (still spotted by Michael). |
| 2009-01-29 20:21:44 | leberre | /maven/tags/2_0_5/org.sat4j.helper/META-INF/MANIFEST.MF
v 295
Fixing bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=244082 |
| 2009-01-09 08:43:35 | leberre | /maven/tags/2_0_5/build.xml
v 261
/maven/tags/2_0_5/org.sat4j.helper/pom.xml v 261 Fixed pom for helper package and updated build file descriptions. |
| 2008-12-24 14:45:26 | leberre | /maven/tags/2_0_5/org.sat4j.helper/src/main/java/org/sat4j/helper/MappingHelper.java
v 256
Added new helper methods. |
