d26ae52 | leberre | 29 July 2009, 20:35:22 UTC | create a tag for 2.1 final released with Eclipse. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_1_FINAL@505 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 July 2009, 20:35:22 UTC |
c05ea14 | leberre | 20 May 2009, 21:15:15 UTC | Fixed new constructor for DotSearchListener. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@462 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 May 2009, 21:15:15 UTC |
c89c6c6 | leberre | 20 May 2009, 16:44:11 UTC | Timeout is now 60s for each test case. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@461 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 May 2009, 16:44:11 UTC |
182fe39 | leberre | 19 May 2009, 09:29:33 UTC | Removed InstanceReader. Changed into OPB reader. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@460 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 May 2009, 09:29:33 UTC |
64748af | leberre | 16 May 2009, 21:42:13 UTC | Allow the output listeners to use the dependency helper mapping. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@459 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 May 2009, 21:42:13 UTC |
4a00db7 | leberre | 16 May 2009, 21:41:19 UTC | Fixed timeout exception message. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@458 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 May 2009, 21:41:19 UTC |
c056647 | leberre | 16 May 2009, 13:13:17 UTC | More @since tags thanks to Eclipse API tooling. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@457 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 May 2009, 13:13:17 UTC |
21903bf | leberre | 16 May 2009, 11:58:51 UTC | Added @since tags thanks to Eclipse API tooling. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@456 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 May 2009, 11:58:51 UTC |
a037c89 | leberre | 15 May 2009, 20:25:37 UTC | Make Eclipse compiler the default java compiler. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@455 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 20:25:37 UTC |
b3f5e73 | leberre | 15 May 2009, 19:38:19 UTC | Added new test file. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@454 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 19:38:19 UTC |
0b1ef4b | leberre | 15 May 2009, 19:30:40 UTC | Move GoodOPBReader to tests since it is only used there. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@453 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 19:30:40 UTC |
78192b2 | leberre | 15 May 2009, 19:30:06 UTC | Returning a reader, no longer an InstanceReader. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@452 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 19:30:06 UTC |
dcf8439 | leberre | 15 May 2009, 18:45:08 UTC | Removed references to GooOPBReader. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@451 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 18:45:08 UTC |
9d3adf9 | leberre | 15 May 2009, 18:38:16 UTC | Removed access to java.util.Scanner class. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@450 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 18:38:16 UTC |
0d25e04 | leberre | 15 May 2009, 18:26:50 UTC | Removed unused imports. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@449 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 18:26:50 UTC |
5898e4b | leberre | 15 May 2009, 18:23:40 UTC | Fixed ECJ warning. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@448 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 18:23:40 UTC |
e6baa0d | leberre | 15 May 2009, 18:22:47 UTC | Fixed ECJ warning. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@447 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 18:22:47 UTC |
e88d16e | leberre | 15 May 2009, 18:21:18 UTC | Fixed ECJ warning. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@446 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 18:21:18 UTC |
9f2d0df | leberre | 15 May 2009, 18:21:10 UTC | Fixed ECJ warning. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@445 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 18:21:10 UTC |
840e977 | leberre | 15 May 2009, 18:17:52 UTC | Fixed ECJ warning. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@444 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 18:17:52 UTC |
5c844f1 | leberre | 15 May 2009, 09:52:07 UTC | Fixed for Eclipse bug 276412 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@443 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 May 2009, 09:52:07 UTC |
c22d000 | leberre | 14 May 2009, 21:36:15 UTC | New user friendly output to debug domain encodings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@442 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 May 2009, 21:36:15 UTC |
e16e903 | parrain | 14 May 2009, 20:17:23 UTC | should really be FIXED now : assertive literal is now the first literal in learned clauses git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@441 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 May 2009, 20:17:23 UTC |
f15e4de | parrain | 14 May 2009, 16:03:46 UTC | FIXED : assertive literal is now the first literal in learned clauses git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@440 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 May 2009, 16:03:46 UTC |
6d0d9f6 | leberre | 13 May 2009, 14:01:41 UTC | Fixed the problem of missing objective function. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@439 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 May 2009, 14:01:41 UTC |
70420cb | leberre | 13 May 2009, 12:17:24 UTC | Removed debugging message on the console. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@438 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 May 2009, 12:17:24 UTC |
a0cbf89 | leberre | 13 May 2009, 12:10:11 UTC | Make sure to remove the last constraint that makes the formula unsatisfiable to allow iterating over the optimal solutions. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@437 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 May 2009, 12:10:11 UTC |
f4a9299 | leberre | 13 May 2009, 12:04:16 UTC | learned literals are now properly handled in the solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@436 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 May 2009, 12:04:16 UTC |
1db7ff0 | leberre | 12 May 2009, 21:11:14 UTC | Probable fix for Eclipse Bug275101 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@435 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 May 2009, 21:11:14 UTC |
5d8de89 | leberre | 12 May 2009, 20:42:46 UTC | fixed optimization keyword. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@434 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 May 2009, 20:42:46 UTC |
3b175f3 | leberre | 12 May 2009, 13:11:43 UTC | Allow proper management of unit clauses deletion. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@433 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 May 2009, 13:11:43 UTC |
0f36f41 | leberre | 12 May 2009, 13:11:29 UTC | Allow proper management of unit clauses deletion. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@432 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 May 2009, 13:11:29 UTC |
45f31c6 | leberre | 11 May 2009, 21:46:22 UTC | Initial support for iterating over optimal solutions. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@431 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 May 2009, 21:46:22 UTC |
9e27fc4 | leberre | 11 May 2009, 21:46:10 UTC | Initial support for iterating over optimal solutions. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@430 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 May 2009, 21:46:10 UTC |
0186d20 | leberre | 11 May 2009, 21:45:57 UTC | Initial support for iterating over optimal solutions. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@429 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 May 2009, 21:45:57 UTC |
15feda9 | leberre | 11 May 2009, 21:45:34 UTC | Initial support for iterating over optimal solutions. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@428 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 May 2009, 21:45:34 UTC |
afa11c5 | leberre | 04 May 2009, 21:10:27 UTC | Added the possibility to limit the number of models returned by ModelIterator. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@427 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 May 2009, 21:10:27 UTC |
1805909 | leberre | 27 April 2009, 08:20:23 UTC | Allow to disable explanation support from the helper. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@426 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 April 2009, 08:20:23 UTC |
268e960 | leberre | 25 April 2009, 13:36:36 UTC | Configured glucose with a Luby restart strategy with factor 512. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@424 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 April 2009, 13:36:36 UTC |
bf9e339 | leberre | 25 April 2009, 08:12:18 UTC | Fixed memory based deletion scheme. Added direct call to GC. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@423 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 April 2009, 08:12:18 UTC |
2847f64 | leberre | 25 April 2009, 07:37:05 UTC | forgot to make the call to reduce(). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@422 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 April 2009, 07:37:05 UTC |
da6efdd | leberre | 25 April 2009, 07:35:30 UTC | Added a specific entry for glucose solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@421 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 April 2009, 07:35:30 UTC |
cd1c649 | leberre | 25 April 2009, 07:35:07 UTC | git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@420 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 April 2009, 07:35:07 UTC |
414dceb | leberre | 22 April 2009, 14:57:43 UTC | Previous fix was wrong. Need to find another solution. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@419 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 April 2009, 14:57:43 UTC |
246308b | leberre | 22 April 2009, 14:27:13 UTC | Do not keep unit clauses learned during search (to make sure that optimization does not end up with a wrong solution). TODO: improve that scheme to forget only those clauses when doing optimization. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@418 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 April 2009, 14:27:13 UTC |
ed3c0ef | leberre | 21 April 2009, 18:03:02 UTC | Fixed global timeout issue. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@417 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 April 2009, 18:03:02 UTC |
d71c936 | leberre | 20 April 2009, 19:43:03 UTC | Added the possibility to get the objective function from the IPBSolver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@416 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 April 2009, 19:43:03 UTC |
cca741e | leberre | 17 April 2009, 08:18:58 UTC | Breaking ties using constraints size. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@415 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 April 2009, 08:18:58 UTC |
b156b85 | parrain | 15 April 2009, 13:14:56 UTC | static final INormalizer are now public (and not package) git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@414 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 April 2009, 13:14:56 UTC |
20de6be | parrain | 15 April 2009, 13:09:06 UTC | new solvers added for non normalized constraints git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@413 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 April 2009, 13:09:06 UTC |
752406e | parrain | 15 April 2009, 13:08:23 UTC | PseudoAllSolutionDecorator renamed by PseudoIteratorDecorator git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@412 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 April 2009, 13:08:23 UTC |
9ebf837 | leberre | 13 April 2009, 21:51:54 UTC | Added a way to incrementally build the objective function. Added a simple method to create a clause. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@411 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 April 2009, 21:51:54 UTC |
b2d6445 | leberre | 13 April 2009, 19:11:05 UTC | Fixed typos in error message. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@410 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 April 2009, 19:11:05 UTC |
09e2204 | leberre | 13 April 2009, 19:10:29 UTC | Reset previousPBConstr when it is removed. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@409 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 April 2009, 19:10:29 UTC |
fb50648 | leberre | 13 April 2009, 18:07:10 UTC | Added new methods to DependencyHelper. The PseudoOptDecorator should not let the solver in an unsatisfiable state now. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@408 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 April 2009, 18:07:10 UTC |
54b0317 | parrain | 13 April 2009, 14:27:24 UTC | comments added git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@407 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 April 2009, 14:27:24 UTC |
9d90370 | parrain | 13 April 2009, 14:18:35 UTC | added a new class to obtain all models of an pb-problem git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@406 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 April 2009, 14:18:35 UTC |
9ce34cf | leberre | 13 April 2009, 10:05:05 UTC | Fixed the solver called Resolution (it was a CP based solver!!!!). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@405 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 April 2009, 10:05:05 UTC |
cc3a42b | leberre | 11 April 2009, 23:10:51 UTC | Added a new method to discard an existing solution. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@404 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 April 2009, 23:10:51 UTC |
9d3746c | leberre | 11 April 2009, 23:09:07 UTC | Fixed a potential bug when initializing mseen array. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@403 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 April 2009, 23:09:07 UTC |
8632a85 | leberre | 10 April 2009, 15:13:52 UTC | Fixed problem of multi spaces between numbers in parameter line. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@402 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 April 2009, 15:13:52 UTC |
ac45782 | leberre | 10 April 2009, 15:13:15 UTC | Fixed problem of multi spaces between numbers in parameter line. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@401 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 April 2009, 15:13:15 UTC |
94ec6a8 | leberre | 10 April 2009, 14:49:23 UTC | Fixed problem with windows generated benchmarks. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@400 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 April 2009, 14:49:23 UTC |
388f8ef | leberre | 10 April 2009, 13:53:25 UTC | Fixed a potential bug concerning the correctness of the solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@399 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 April 2009, 13:53:25 UTC |
6bf6397 | leberre | 09 April 2009, 21:22:56 UTC | Fixed slow reading of wcnf. The new reader need to be tested on a wide range of wcnf benchmarks. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@398 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2009, 21:22:56 UTC |
456c37c | leberre | 09 April 2009, 21:21:01 UTC | Fixed slow reading of wcnf. The new reader need to be tested on a wide range of wcnf benchmarks. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@397 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2009, 21:21:01 UTC |
d3bc5e8 | leberre | 09 April 2009, 14:05:28 UTC | Fixed bug for decision benchmarks. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@396 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2009, 14:05:28 UTC |
685a63e | leberre | 09 April 2009, 11:35:56 UTC | Added back Glucose learned clauses management. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@395 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2009, 11:35:56 UTC |
6888a29 | leberre | 09 April 2009, 08:26:11 UTC | Remove opt constraint without clearing learned clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@394 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2009, 08:26:11 UTC |
d00278c | leberre | 09 April 2009, 07:48:22 UTC | Constraints are now removed without clearing learned constraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@393 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2009, 07:48:22 UTC |
2ca1078 | leberre | 09 April 2009, 07:47:16 UTC | Decremented counters where constraints are removed. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@392 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2009, 07:47:16 UTC |
4692cf2 | leberre | 09 April 2009, 07:39:00 UTC | Created a new removeSubsumedConstr method to avoid to clear learned constraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@391 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2009, 07:39:00 UTC |
b29b20f | leberre | 08 April 2009, 20:57:12 UTC | Removed glucose related code. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@390 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 20:57:12 UTC |
9943922 | leberre | 08 April 2009, 20:44:18 UTC | Remove constraints added to find an optimal solution. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@389 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 20:44:18 UTC |
504c18b | parrain | 08 April 2009, 20:07:06 UTC | Learnt cardinalities correctly chosen git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@388 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 20:07:06 UTC |
66ac026 | parrain | 08 April 2009, 20:05:39 UTC | new tests for CompetResolution DS Factories git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@387 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 20:05:39 UTC |
5b29d89 | leberre | 08 April 2009, 19:56:59 UTC | set the previousPBConstr field to null in reset(). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@386 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 19:56:59 UTC |
6f89df7 | leberre | 08 April 2009, 19:56:33 UTC | Remove clauses added to find an optimal solution. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@385 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 19:56:33 UTC |
b54cc69 | leberre | 08 April 2009, 19:53:38 UTC | Remove clauses added to find an optimal solution. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@384 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 19:53:38 UTC |
8b98131 | leberre | 08 April 2009, 19:47:47 UTC | Remove clauses added to find an optimal solution. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@383 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 19:47:47 UTC |
9ff8264 | leberre | 08 April 2009, 12:52:45 UTC | Append non removable clauses information when the solver finishes. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@382 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 12:52:45 UTC |
0b90292 | leberre | 08 April 2009, 12:50:34 UTC | Append non removable clauses information when the solver finishes. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@381 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 12:50:34 UTC |
268c82c | leberre | 08 April 2009, 10:17:54 UTC | Make PBMax the default. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@380 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 10:17:54 UTC |
65c438d | leberre | 08 April 2009, 10:12:01 UTC | Maxsat solver now uses default PB solver instead of light one. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@379 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 10:12:01 UTC |
8c51fe9 | leberre | 08 April 2009, 10:09:58 UTC | Using WL version of PB data structure by default. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@378 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2009, 10:09:58 UTC |
97e3f91 | parrain | 07 April 2009, 22:47:10 UTC | DSFactories have been cleaned up git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@377 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 April 2009, 22:47:10 UTC |
e44afac | leberre | 03 April 2009, 20:01:45 UTC | Updated GateTranslator to return created IConstr. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@376 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 03 April 2009, 20:01:45 UTC |
fc07a83 | leberre | 03 April 2009, 19:59:12 UTC | Updated tests. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@375 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 03 April 2009, 19:59:12 UTC |
3828c78 | leberre | 03 April 2009, 19:58:52 UTC | Updated again dependency helper for Cathy. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@374 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 03 April 2009, 19:58:52 UTC |
1c502ec | leberre | 03 April 2009, 10:20:20 UTC | git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@373 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 03 April 2009, 10:20:20 UTC |
26419db | leberre | 01 April 2009, 20:06:15 UTC | Added new learned clause management based on Audemard and Simon work on Glucose to be published at IJCAI2009. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@372 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 April 2009, 20:06:15 UTC |
aad052b | leberre | 01 April 2009, 20:05:58 UTC | Added new learned clause management based on Audemard and Simon work on Glucose to be published at IJCAI2009. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@371 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 April 2009, 20:05:58 UTC |
f65aa58 | leberre | 01 April 2009, 19:55:44 UTC | Added snapshot repository location. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@370 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 April 2009, 19:55:44 UTC |
667b2a9 | leberre | 01 April 2009, 12:55:43 UTC | Added new helper methods. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@369 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 April 2009, 12:55:43 UTC |
65757f4 | leberre | 01 April 2009, 12:55:31 UTC | Added new helper methods. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@368 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 April 2009, 12:55:31 UTC |
20cc5ad | leberre | 30 March 2009, 20:31:59 UTC | Fixed typo in launcher output. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@367 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 March 2009, 20:31:59 UTC |
fe2ab54 | leberre | 12 March 2009, 21:31:57 UTC | Changed version of SAT4J to 2.1.0 RC2 for RC2 release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@365 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 March 2009, 21:31:57 UTC |
10df109 | leberre | 12 March 2009, 18:56:26 UTC | Implemented new method nextFreeVarId(à) added to ISolver interface. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@364 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 March 2009, 18:56:26 UTC |
c735bdb | leberre | 12 March 2009, 18:55:05 UTC | Updated build file to exclude XplainTest and main pom file to introduce maven-pdf and maven-release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@363 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 March 2009, 18:55:05 UTC |
2af496d | leberre | 07 March 2009, 23:27:15 UTC | The head literal cannot be set in the PB learnt constraints constructor because at that point, all the literals might be assigned. That must be done in the assertConstraint method. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@362 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 March 2009, 23:27:15 UTC |