b96f3a1 | leberre | 31 January 2009, 14:57:02 UTC | dded missing copyright headers (still spotted by Michael). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@302 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 January 2009, 14:57:02 UTC |
7504bac | leberre | 31 January 2009, 13:30:54 UTC | Fixed typo in build file spotted by Michael Tautschnig. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@301 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 January 2009, 13:30:54 UTC |
f5bec94 | leberre | 29 January 2009, 19:21:44 UTC | Fixing bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=244082 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@295 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 January 2009, 19:21:44 UTC |
e86379c | leberre | 09 January 2009, 07:43:35 UTC | Fixed pom for helper package and updated build file descriptions. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@261 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 January 2009, 07:43:35 UTC |
683bea2 | leberre | 08 January 2009, 17:04:29 UTC | Updated message. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@258 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 January 2009, 17:04:29 UTC |
e36470a | leberre | 08 January 2009, 17:02:55 UTC | Added a new option to find models with at least a given number of falsified literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@257 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 January 2009, 17:02:55 UTC |
f9afd82 | leberre | 24 December 2008, 13:45:26 UTC | Added new helper methods. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@256 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 December 2008, 13:45:26 UTC |
e75cdce | leberre | 24 December 2008, 13:42:51 UTC | Added Java 5 compiler settings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@255 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 December 2008, 13:42:51 UTC |
d66cc6c | leberre | 24 December 2008, 13:41:31 UTC | Added Java 5 compiler settings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@254 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 December 2008, 13:41:31 UTC |
1c00278 | leberre | 24 December 2008, 13:40:45 UTC | Added Java 5 compiler settings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@253 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 December 2008, 13:40:45 UTC |
4088cd1 | leberre | 24 December 2008, 13:39:47 UTC | Added Java 5 compiler settings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@252 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 December 2008, 13:39:47 UTC |
58f84c3 | leberre | 24 December 2008, 13:38:41 UTC | Removed problematic @Override tags (java5/Java6 problem). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@251 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 December 2008, 13:38:41 UTC |
64d27eb | leberre | 24 December 2008, 13:16:10 UTC | Removed problematic @Override tags (java5/Java6 problem). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@250 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 December 2008, 13:16:10 UTC |
8d60187 | leberre | 28 November 2008, 15:36:16 UTC | Added helper methods to the WeightedMaxsatDecorator. It is now easier to feed that solver from the API. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@242 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 November 2008, 15:36:16 UTC |
6b999e4 | leberre | 28 November 2008, 15:26:00 UTC | Fixed a bug in the maxsat decorator when used in the OptToSatAdapter. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@241 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 November 2008, 15:26:00 UTC |
cd054dc | leberre | 25 November 2008, 21:45:23 UTC | Fixed typos. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@240 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 November 2008, 21:45:23 UTC |
1a71e03 | leberre | 24 November 2008, 22:03:37 UTC | Reverted back to minisat like learning. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@239 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 November 2008, 22:03:37 UTC |
d487319 | leberre | 24 November 2008, 21:52:14 UTC | Removed restarts from light solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@238 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 November 2008, 21:52:14 UTC |
c6ce1be | leberre | 24 November 2008, 21:42:12 UTC | Added information about learned clauses on solver output. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@237 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 November 2008, 21:42:12 UTC |
97068cb | leberre | 24 November 2008, 20:40:31 UTC | Added missing @Override tag. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@236 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 November 2008, 20:40:31 UTC |
4cba2d6 | leberre | 24 November 2008, 12:44:11 UTC | Renamed dimacsvar into dimacsLiteral to clearly mean that the value can be either positive or negative (Dimacs literal representation). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@235 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 November 2008, 12:44:11 UTC |
9aeb36e | leberre | 24 November 2008, 12:32:36 UTC | Fixed bug in MAXSAT solver when objective function contains negative literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@234 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 November 2008, 12:32:36 UTC |
dd16b49 | leberre | 20 November 2008, 20:58:29 UTC | Fixed missing BinaryClause detection in PB solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@233 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2008, 20:58:29 UTC |
4303321 | leberre | 20 November 2008, 20:56:24 UTC | Removed satisfied head and tail shortcuts. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@232 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2008, 20:56:24 UTC |
6a761bd | leberre | 20 November 2008, 20:24:04 UTC | Added CLIRR tool report to make sure we are not breaking too much the API. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@231 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2008, 20:24:04 UTC |
393439c | leberre | 20 November 2008, 20:21:09 UTC | Added a test case for the helper class. Updated Helper class to be able to write nicely the test cases. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@230 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2008, 20:21:09 UTC |
ac36fc1 | leberre | 20 November 2008, 17:23:59 UTC | create test files structure. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@229 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2008, 17:23:59 UTC |
f1797e5 | leberre | 20 November 2008, 11:27:04 UTC | Fixed HTClause code to make sure that 2.0.5 is propagating literals the same way than 2.0.4. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@228 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2008, 11:27:04 UTC |
b3c62af | leberre | 18 November 2008, 17:14:41 UTC | Fixed SCM URL. check CLIRR against latest Eclipse bugfix, 2.0.3, instead of 2.0.2. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@227 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 November 2008, 17:14:41 UTC |
a889327 | leberre | 17 November 2008, 22:06:13 UTC | Added CLIRR report. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@226 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 November 2008, 22:06:13 UTC |
4644274 | leberre | 17 November 2008, 21:47:30 UTC | Added JavaNCSS to the default reports. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@225 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 November 2008, 21:47:30 UTC |
7e4ebac | leberre | 11 November 2008, 21:35:06 UTC | Updated pom files to include org.sat4j.helper and moving to 2.0.5 release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@224 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 21:35:06 UTC |
6d28542 | leberre | 11 November 2008, 21:21:04 UTC | Disabled tests cases that do not pass currently on my computer. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@223 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 21:21:04 UTC |
9ca6540 | leberre | 11 November 2008, 21:04:20 UTC | Fixed last case when UnitClausePB is needed. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@222 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 21:04:20 UTC |
91030d7 | leberre | 11 November 2008, 20:48:47 UTC | Added specific data strcuture for Unit learnt clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@221 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 20:48:47 UTC |
8d7821a | leberre | 11 November 2008, 20:48:11 UTC | Change field visibility to protected. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@220 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 20:48:11 UTC |
c19ba16 | leberre | 11 November 2008, 19:58:32 UTC | Added specific binary clause data structure for clauses in PB. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@219 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 19:58:32 UTC |
32e341e | leberre | 11 November 2008, 19:49:06 UTC | Remove DefaultHTClause that is only used in PB package. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@218 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 19:49:06 UTC |
44e5dad | leberre | 11 November 2008, 19:29:00 UTC | Removed wrong assertion. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@217 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 19:29:00 UTC |
fdf0981 | leberre | 11 November 2008, 19:20:18 UTC | Added missing copyright header. fixed typo in pom.xml file. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@216 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 19:20:18 UTC |
f0347f8 | leberre | 11 November 2008, 19:12:04 UTC | Removed MappingHelper class that moved to org.sat4j.helper. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@215 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 19:12:04 UTC |
4450790 | leberre | 11 November 2008, 19:11:09 UTC | Moving helper classes from org.sat4j.core to org.sat4j.helper, to allow 1.5 compiled code for generics. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@214 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 19:11:09 UTC |
dd1a4b3 | leberre | 11 November 2008, 19:10:54 UTC | Moving helper classes from org.sat4j.core to org.sat4j.helper, to allow 1.5 compiled code for generics. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@213 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2008, 19:10:54 UTC |
29c0d3d | leberre | 10 November 2008, 22:01:33 UTC | Updated class with Oleg wishes. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@212 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 November 2008, 22:01:33 UTC |
d8578c9 | leberre | 09 November 2008, 19:51:25 UTC | Syncing with org.sat4j.core (getTimeoutMs() new method in ISolver). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@211 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 November 2008, 19:51:25 UTC |
df40839 | leberre | 09 November 2008, 19:50:35 UTC | Added getTimeoutMs() method as demanded in feature request http://forge.objectweb.org/tracker/index.php?func=detail&aid=311748&group_id=228&atid=350292 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@210 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 November 2008, 19:50:35 UTC |
0f061c4 | leberre | 09 November 2008, 19:33:32 UTC | Fixed the second method to comply with Oleg wishes. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@209 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 November 2008, 19:33:32 UTC |
2126c38 | leberre | 09 November 2008, 19:29:36 UTC | Added a stripped down version of the mapping helper class. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@208 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 November 2008, 19:29:36 UTC |
d93075a | leberre | 04 November 2008, 20:46:01 UTC | Removed unused test. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@207 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 November 2008, 20:46:01 UTC |
0d0ce7b | leberre | 04 November 2008, 20:40:22 UTC | Fixed global timeout in ModelIterator and SolutionCounter. Updated ModelIteratorTest (move to JUnit 4 style). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@206 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 November 2008, 20:40:22 UTC |
276338f | leberre | 03 November 2008, 19:31:35 UTC | Fixed Eclipse compiler warnings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@205 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 03 November 2008, 19:31:35 UTC |
3a5e11d | leberre | 03 November 2008, 17:50:07 UTC | Added a solver similar to the default one but that record all clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@204 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 03 November 2008, 17:50:07 UTC |
eb1d776 | leberre | 03 November 2008, 17:37:21 UTC | Fixed bug in calcReason() method (forgot the to neg the literals). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@203 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 03 November 2008, 17:37:21 UTC |
7d042cc | leberre | 02 November 2008, 15:34:16 UTC | Added a new tartget to run the tests for p2 bundles. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@202 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 02 November 2008, 15:34:16 UTC |
b622d7b | leberre | 02 November 2008, 13:48:12 UTC | Fixed missing copyright header. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@201 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 02 November 2008, 13:48:12 UTC |
ea1f503 | leberre | 01 November 2008, 20:05:02 UTC | Updated data structure to save even more memory. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@200 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 November 2008, 20:05:02 UTC |
d4254ac | leberre | 01 November 2008, 14:03:33 UTC | First trial to improve HT speed. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@199 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 November 2008, 14:03:33 UTC |
5372274 | leberre | 01 November 2008, 13:11:23 UTC | preparing upcoming release 2.0.5 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@198 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 November 2008, 13:11:23 UTC |
d18de6c | leberre | 01 November 2008, 13:09:43 UTC | Create archive for maxsat solvers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@197 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 November 2008, 13:09:43 UTC |
68dda4d | parrain | 31 October 2008, 17:05:22 UTC | class Pseudos added for static methods git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@196 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 October 2008, 17:05:22 UTC |
da40ecc | parrain | 31 October 2008, 17:03:03 UTC | class Cards added for static methods git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@195 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 October 2008, 17:03:03 UTC |
f23f064 | parrain | 31 October 2008, 13:22:40 UTC | outputs deleted. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@194 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 October 2008, 13:22:40 UTC |
a00728b | leberre | 30 October 2008, 21:43:53 UTC | Removed remaining named references to WL: watch -> attach in several method names. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@193 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 21:43:53 UTC |
7eff28e | leberre | 30 October 2008, 21:43:30 UTC | Removed remaining named references to WL: watch -> attach in several method names. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@192 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 21:43:30 UTC |
71c4309 | leberre | 30 October 2008, 10:50:18 UTC | Updated pom version to 2.0.4 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@191 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 10:50:18 UTC |
fc1683a | leberre | 30 October 2008, 10:09:34 UTC | Removed debug message on System.err. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@190 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 10:09:34 UTC |
3420653 | leberre | 30 October 2008, 10:07:59 UTC | reverted back to 2.0.3 data structure factory. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@189 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 10:07:59 UTC |
d432236 | leberre | 30 October 2008, 09:55:00 UTC | Moved code to Head Tails data structure. Added comments header for test files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@188 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 09:55:00 UTC |
86eb490 | leberre | 30 October 2008, 09:48:47 UTC | Fixed Eclipse compiler warning. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@187 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 09:48:47 UTC |
c0246cc | leberre | 30 October 2008, 09:37:48 UTC | Added back all data structure factories and all prebuilt solvers with HT instead of WL. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@186 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 09:37:48 UTC |
5571695 | leberre | 30 October 2008, 09:15:13 UTC | Sync with org.sat4j.core 2.0.4 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@185 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 09:15:13 UTC |
10feac2 | leberre | 30 October 2008, 08:57:41 UTC | Added back alternative implementation for cardinality constraint. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@184 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 08:57:41 UTC |
0d52c4a | leberre | 30 October 2008, 08:39:03 UTC | Added Head Tail lazy data structure. Added License header on test files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@183 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2008, 08:39:03 UTC |
96f3310 | leberre | 27 October 2008, 21:11:52 UTC | Removed all code related to watched literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@182 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2008, 21:11:52 UTC |
90a8ddd | leberre | 27 October 2008, 21:11:17 UTC | Removed all code related to watched literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@181 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2008, 21:11:17 UTC |
d677b5e | leberre | 27 October 2008, 21:10:11 UTC | Removed all code related to watched literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@180 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2008, 21:10:11 UTC |
3f1bcd4 | leberre | 27 October 2008, 19:55:08 UTC | reating new branch 2.0.4 to remove likely patented code from main library. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@179 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2008, 19:55:08 UTC |
e0f760f | leberre | 21 October 2008, 16:20:57 UTC | Fixed SVN url. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@176 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 October 2008, 16:20:57 UTC |
69dbf7f | leberre | 21 October 2008, 07:19:37 UTC | Moved Eclipse bug opb file to src/test/testfiles git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@175 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 October 2008, 07:19:37 UTC |
3515394 | leberre | 21 October 2008, 05:35:06 UTC | Updated SVN url to 2.0.3 tag. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@174 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 October 2008, 05:35:06 UTC |
96656ea | leberre | 21 October 2008, 05:31:27 UTC | Updating maven compiler plugin to 2.1 snapshot to be able to compile JUnit tests with 1.5 target. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@173 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 October 2008, 05:31:27 UTC |
cc9c8b2 | leberre | 19 October 2008, 15:09:30 UTC | Updated Maven version to 2.0.3 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@172 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 October 2008, 15:09:30 UTC |
caa827d | leberre | 19 October 2008, 09:07:11 UTC | Added test case to prevent Eclipse bug 247567 to occur again. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@171 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 October 2008, 09:07:11 UTC |
4bb2d3a | leberre | 19 October 2008, 08:38:34 UTC | Update 2.0.2 code with bugfixes available in HEAD for the 2.0.3 release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@170 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 October 2008, 08:38:34 UTC |
21c93a9 | leberre | 19 October 2008, 08:08:45 UTC | Update 2.0.2 code with bugfixes available in HEAD for the 2.0.3 release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@169 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 October 2008, 08:08:45 UTC |
0ebb88d | leberre | 19 October 2008, 08:01:23 UTC | Update 2.0.2 code with bugfixes available in HEAD for the 2.0.3 release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@168 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 October 2008, 08:01:23 UTC |
7f3c286 | leberre | 19 October 2008, 07:58:17 UTC | Update 2.0.2 code with bugfixes available in HEAD for the 2.0.3 release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@167 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 October 2008, 07:58:17 UTC |
8f177fd | leberre | 19 October 2008, 07:25:03 UTC | Creating a branch for the bugfix release 2.0.3 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@166 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 October 2008, 07:25:03 UTC |
4432862 | leberre | 06 August 2008, 15:54:27 UTC | Yet another @Override problem. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2_FIXED@122 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 15:54:27 UTC |
3d24f58 | leberre | 06 August 2008, 14:55:10 UTC | Removed annoying @Override tag. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2_FIXED@116 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 14:55:10 UTC |
f389283 | leberre | 06 August 2008, 13:30:20 UTC | Updated Pom file to exclude failing tests. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2_FIXED@115 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 13:30:20 UTC |
b6533d2 | leberre | 06 August 2008, 10:27:13 UTC | Fixed some issues to build properly SAT4J from maven. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2_FIXED@113 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 10:27:13 UTC |
7a68062 | leberre | 06 August 2008, 10:02:06 UTC | Moved 3 new tests to EZ benchmarks. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@112 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 10:02:06 UTC |
7f4a420 | leberre | 06 August 2008, 09:43:23 UTC | Moved 3 new tests to EZ benchmarks. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@111 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 09:43:23 UTC |
1fdacd8 | leberre | 06 August 2008, 09:25:05 UTC | Moved tests from EZ acceptance tests to be sure all tests are passing within the timeout. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@110 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 09:25:05 UTC |
b103229 | leberre | 06 August 2008, 08:45:48 UTC | Updated tests to mimic the expected use of th SingleSolutionDetector. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@109 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 08:45:48 UTC |
223a8a3 | leberre | 06 August 2008, 08:44:50 UTC | Updated javadoc to warn users against the use of ISolver.removeConstr method. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@108 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 08:44:50 UTC |
19fc61c | leberre | 06 August 2008, 07:31:09 UTC | Fixed problem in nConstraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@107 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 07:31:09 UTC |
085ad73 | leberre | 06 August 2008, 07:30:35 UTC | Added new assert to complete failing test. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@106 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 07:30:35 UTC |
9a732c1 | leberre | 06 August 2008, 06:59:49 UTC | dded META-INF directory to fix the issue with top level jar. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@105 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 06:59:49 UTC |