0f34a5c | Romain Wallon | 02 July 2020, 20:26:09 UTC | Another fix for Java 8 | 02 July 2020, 20:26:09 UTC |
d89b7c9 | Romain Wallon | 02 July 2020, 19:44:28 UTC | Fixes an issue with Java 8 | 02 July 2020, 19:44:28 UTC |
234f5de | Romain WALLON | 28 February 2020, 08:54:32 UTC | Adds the possibility to apply RS approach on the conflict only | 28 February 2020, 08:54:32 UTC |
ea2aa23 | Romain WALLON | 21 February 2020, 16:52:42 UTC | Fixes some bugs in the implementation of RoundingSat approach. | 21 February 2020, 16:52:42 UTC |
9e80879 | Romain Wallon | 16 February 2020, 12:12:11 UTC | Adds the division on both sides of the resolution. | 16 February 2020, 12:12:11 UTC |
4f9abd5 | Romain WALLON | 14 February 2020, 14:07:31 UTC | Some improvements for weaken-to-clash | 14 February 2020, 14:07:31 UTC |
d4e5c7b | Romain WALLON | 14 February 2020, 10:09:14 UTC | Fixes some bugs in the new approaches. | 14 February 2020, 10:09:14 UTC |
73a0a8f | Romain WALLON | 11 February 2020, 13:22:30 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 11 February 2020, 13:22:30 UTC |
5d9f8a1 | Romain WALLON | 11 February 2020, 13:22:15 UTC | Detects conflicts earlier thanks to trail position. | 11 February 2020, 13:22:15 UTC |
ee67393 | Daniel Le Berre | 11 February 2020, 13:16:22 UTC | Fix NPE and ClassCastException in PBCautious solver. | 11 February 2020, 13:16:22 UTC |
8a186b2 | Daniel Le Berre | 11 February 2020, 08:43:52 UTC | Added a new feature for better conflict detection on the PB side. | 11 February 2020, 08:43:52 UTC |
9a1791c | Romain WALLON | 07 February 2020, 16:38:50 UTC | Fixes the weakening for the clashing addition. | 07 February 2020, 16:38:50 UTC |
2ca6637 | Romain Wallon | 05 February 2020, 17:00:08 UTC | Allows to consider or not falsified literals when weakening the conflict | 05 February 2020, 17:00:08 UTC |
c129e16 | Romain Wallon | 05 February 2020, 16:37:52 UTC | First try to implement weakening for clashing addition. | 05 February 2020, 16:37:52 UTC |
40c9455 | Romain Wallon | 05 February 2020, 14:39:11 UTC | Adds weakening on literals having no effect on a conflict/propagation. | 05 February 2020, 14:39:11 UTC |
4aae620 | Romain Wallon | 05 February 2020, 12:28:09 UTC | Merge branch 'weakening-investigations' of https://gitlab.ow2.org/sat4j/sat4j into weakening-investigations | 05 February 2020, 12:28:09 UTC |
547e952 | Romain WALLON | 05 February 2020, 07:26:55 UTC | Adds the reduction of the degree when weakening instead of resolving. | 05 February 2020, 07:26:55 UTC |
09d0b62 | Romain Wallon | 04 February 2020, 21:04:15 UTC | Merge branch 'master' into weakening-investigations | 04 February 2020, 21:04:15 UTC |
ca1cfc0 | Romain WALLON | 04 February 2020, 17:38:53 UTC | Adds some new implementations for analyzing conflicts with weakening | 04 February 2020, 17:38:53 UTC |
b2d0f07 | Daniel Le Berre | 04 February 2020, 15:09:57 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 04 February 2020, 15:09:57 UTC |
285b8c2 | Daniel Le Berre | 04 February 2020, 15:09:31 UTC | Moving to Java 1.7 within Eclipse | 04 February 2020, 15:09:31 UTC |
016981c | Romain WALLON | 07 January 2020, 15:49:03 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 07 January 2020, 15:49:03 UTC |
6738d0a | Romain WALLON | 07 January 2020, 15:47:27 UTC | Adds an automatic module name for the generated JARs. | 07 January 2020, 15:47:27 UTC |
b42710a | Daniel Le Berre | 02 January 2020, 20:17:13 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 02 January 2020, 20:17:13 UTC |
be0b98e | Daniel Le Berre | 02 January 2020, 19:41:44 UTC | Add two new utility methods to translate collections to Vec or VecInt. | 02 January 2020, 19:41:44 UTC |
3dd457b | Romain Wallon | 13 December 2019, 16:35:22 UTC | Adds missing file | 13 December 2019, 16:35:22 UTC |
9982326 | Romain WALLON | 13 December 2019, 15:01:00 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 13 December 2019, 15:01:00 UTC |
89a6e0d | Romain WALLON | 13 December 2019, 15:00:41 UTC | Prevents bad model counts when variables do not appear in the instance. | 13 December 2019, 15:00:41 UTC |
8b267f3 | Daniel Le Berre | 10 December 2019, 16:31:17 UTC | Make sure that the reader takes into account the mapping when exists. | 10 December 2019, 16:31:17 UTC |
8afd204 | Daniel Le Berre | 10 December 2019, 16:30:23 UTC | Propagate useMapping() in created Reader. | 10 December 2019, 16:30:23 UTC |
3c55030 | Daniel Le Berre | 09 December 2019, 05:40:17 UTC | Improved colors for decision and conflict labels. | 09 December 2019, 05:40:17 UTC |
25df19a | Romain WALLON | 04 December 2019, 16:35:46 UTC | Improves the implementation of both ApproxMC versions. | 04 December 2019, 16:35:46 UTC |
604f78f | Romain WALLON | 04 December 2019, 10:03:12 UTC | First implementation of ApproxMC2. | 04 December 2019, 10:03:12 UTC |
7f03318 | Daniel Le Berre | 01 December 2019, 14:12:48 UTC | ApproxMC with ModelIterator | 01 December 2019, 14:12:48 UTC |
fa00d36 | Daniel Le Berre | 01 December 2019, 14:05:00 UTC | Some improvements to ModelIterator. | 01 December 2019, 14:05:00 UTC |
634c043 | Daniel Le Berre | 30 November 2019, 14:26:59 UTC | ModelIterator now allows to clear blocking clauses. | 30 November 2019, 14:26:59 UTC |
ceb30a5 | Daniel Le Berre | 30 November 2019, 12:21:16 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 30 November 2019, 12:21:16 UTC |
7c6b5e5 | Daniel Le Berre | 30 November 2019, 12:20:49 UTC | removed csp xml parser from main distribution | 30 November 2019, 12:20:49 UTC |
6222aa9 | Daniel Le Berre | 30 November 2019, 10:43:58 UTC | Add build badge | 30 November 2019, 10:43:58 UTC |
a006691 | Romain WALLON | 29 November 2019, 12:19:52 UTC | Adds the first version of ApproxMC | 29 November 2019, 12:19:52 UTC |
2b10320 | Daniel Le Berre | 29 November 2019, 07:15:07 UTC | Fix the case where the unassigned literal is not the first one. | 29 November 2019, 07:15:07 UTC |
c8fad50 | Daniel Le Berre | 20 November 2019, 19:57:30 UTC | Removed useless STRING2 variable. | 20 November 2019, 19:57:30 UTC |
1648ee5 | Daniel Le Berre | 20 November 2019, 19:54:15 UTC | Fix for the bug found by Jo Devriendt. | 20 November 2019, 19:54:15 UTC |
46b9820 | Daniel Le Berre | 16 November 2019, 11:27:37 UTC | Removed internal try/catch | 16 November 2019, 11:27:37 UTC |
5f4efa6 | Daniel Le Berre | 16 November 2019, 11:20:31 UTC | :pencil2: fixed a few more violations. | 16 November 2019, 11:20:31 UTC |
6b7b357 | Daniel Le Berre | 16 November 2019, 11:18:49 UTC | :pencil2: fix a few sonarqube violations. | 16 November 2019, 11:18:49 UTC |
6d8340b | Daniel Le Berre | 16 November 2019, 08:39:12 UTC | :pencil2: Update link to issue tracker from JIRA to gitlab @ OW2 | 16 November 2019, 08:39:12 UTC |
29a8a02 | Daniel Le Berre | 16 November 2019, 08:32:48 UTC | Add quality gate badge | 16 November 2019, 08:32:48 UTC |
193b67c | Daniel Le Berre | 16 November 2019, 08:29:39 UTC | :bug: fix ci file | 16 November 2019, 08:29:39 UTC |
a1e891f | Daniel Le Berre | 16 November 2019, 08:28:04 UTC | :wrench: sonar is only updated from master branch | 16 November 2019, 08:28:04 UTC |
2c3e47a | Daniel Le Berre | 13 October 2019, 10:21:58 UTC | Fix the display of all models. It is now consistent with a single model display. | 13 October 2019, 10:21:58 UTC |
5873659 | Daniel Le Berre | 12 October 2019, 10:43:39 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 12 October 2019, 10:43:39 UTC |
0a6a10d | Daniel Le Berre | 12 October 2019, 10:43:17 UTC | Fix the display of all models. It is now consistent with a single model display. | 12 October 2019, 10:43:17 UTC |
5cee71e | Daniel Le Berre | 19 September 2019, 16:49:15 UTC | Maven 3.6.1->3.6.2, java12->java13 | 19 September 2019, 16:49:15 UTC |
0b3bb64 | Daniel Le Berre | 20 August 2019, 09:57:55 UTC | Adding a java 8 build with maven 3.6.1 to check if the current issue with java 11 and java 12 is related to maven 3.6.1 | 20 August 2019, 09:57:55 UTC |
a98fdd2 | Daniel Le Berre | 20 August 2019, 07:55:51 UTC | disable jacoco for java7, 11 and 12 | 20 August 2019, 07:55:51 UTC |
6d93968 | Daniel Le Berre | 19 August 2019, 19:37:27 UTC | Moving Java 11 to slim image, java 12 to the same maven version. | 19 August 2019, 19:37:27 UTC |
69da6ed | Daniel Le Berre | 19 August 2019, 10:12:37 UTC | Clear learnt clauses at the end of the computation, to keep the same formula in the solver. | 19 August 2019, 10:12:37 UTC |
ffefc7a | Daniel Le Berre | 18 August 2019, 17:05:41 UTC | Increases timeout to see if it solves the failures in Java 7, 11 and 12 builds. | 18 August 2019, 17:05:41 UTC |
e3be2c0 | Daniel Le Berre | 18 August 2019, 14:41:49 UTC | Fix for #157. | 18 August 2019, 14:41:49 UTC |
5001272 | Daniel Le Berre | 17 July 2019, 15:10:42 UTC | Add support for native xor constraints in Gate Translator. | 17 July 2019, 15:10:42 UTC |
f59ab3e | Daniel Le Berre | 17 July 2019, 14:14:52 UTC | Allows DimacsOutputSolver to be used to display Dimacs output from the command line. | 17 July 2019, 14:14:52 UTC |
e81d70f | Daniel Le Berre | 04 July 2019, 05:20:54 UTC | Remove volatile for ExitCode in computation modes. | 04 July 2019, 05:20:54 UTC |
07658be | Daniel Le Berre | 04 July 2019, 05:18:02 UTC | Fix potential security issue found by sonarqube. | 04 July 2019, 05:18:02 UTC |
2211407 | Daniel Le Berre | 24 June 2019, 11:35:17 UTC | Fixing bug reported by Dieter. | 24 June 2019, 11:35:17 UTC |
b40ad7f | Daniel Le Berre | 24 June 2019, 07:06:53 UTC | String[] -> Collection<String> | 24 June 2019, 07:06:53 UTC |
0df1ee2 | Daniel Le Berre | 23 June 2019, 16:20:50 UTC | Forgotten part of the fix for #156 for pb solvers. | 23 June 2019, 16:20:50 UTC |
b4e4d93 | Daniel Le Berre | 23 June 2019, 16:18:37 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 23 June 2019, 16:18:37 UTC |
b6b1d75 | Daniel Le Berre | 23 June 2019, 16:17:46 UTC | Fix for #156 | 23 June 2019, 16:17:46 UTC |
77447cc | Daniel Le Berre | 13 June 2019, 19:27:33 UTC | Allow Java 7 builds to fail, due to timeout in tests ... | 13 June 2019, 19:27:33 UTC |
b5b4825 | Daniel Le Berre | 13 June 2019, 14:24:07 UTC | Better fix for sat4j-sat NPE. | 13 June 2019, 14:24:07 UTC |
49670f6 | Daniel Le Berre | 13 June 2019, 14:06:33 UTC | Fix for NPE found by Emmanuel. | 13 June 2019, 14:06:33 UTC |
3436f41 | Daniel Le Berre | 27 May 2019, 09:39:16 UTC | Add missing class. | 27 May 2019, 09:39:16 UTC |
8daf5c8 | Daniel Le Berre | 27 May 2019, 09:23:03 UTC | Removed dependencies to core tests to avoid issues with java 11 modules. | 27 May 2019, 09:23:03 UTC |
fbb9a07 | Daniel Le Berre | 26 May 2019, 14:13:15 UTC | Add build for java 12 | 26 May 2019, 14:13:15 UTC |
a994bc3 | Daniel Le Berre | 25 May 2019, 13:26:13 UTC | PermutationComputer is now static in declared type. | 25 May 2019, 13:26:13 UTC |
d10f244 | Daniel Le Berre | 25 May 2019, 13:17:30 UTC | Add new test case to demonstrate that sonar violation is a false positive. | 25 May 2019, 13:17:30 UTC |
b8e8967 | Daniel Le Berre | 25 May 2019, 13:02:53 UTC | Fixed another sonar violation (+ added a test). | 25 May 2019, 13:02:53 UTC |
b81e2bc | Daniel Le Berre | 25 May 2019, 12:49:06 UTC | Fix sonar violations. | 25 May 2019, 12:49:06 UTC |
1c14203 | Daniel Le Berre | 25 May 2019, 12:44:55 UTC | Fix sonar violation. | 25 May 2019, 12:44:55 UTC |
d3e7697 | Daniel Le Berre | 25 May 2019, 06:34:07 UTC | Stamp Feedback: complete assertions. | 25 May 2019, 06:34:07 UTC |
a2de386 | Daniel Le Berre | 25 May 2019, 06:23:45 UTC | Stamp Feedback: sort the list of solvers retrieved using Java reflection API to avoid brittle tests order (such as in Bug34). | 25 May 2019, 06:23:45 UTC |
8dadb81 | Daniel Le Berre | 23 March 2019, 13:18:09 UTC | Merge branch 'fix-sat-155' into 'master' Fix sat 155 See merge request sat4j/sat4j!4 | 23 March 2019, 13:18:09 UTC |
05d6d9e | Daniel Le Berre | 23 March 2019, 13:18:08 UTC | Fix sat 155 | 23 March 2019, 13:18:08 UTC |
4c8d6b1 | Romain WALLON | 13 March 2019, 13:08:33 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 13 March 2019, 13:08:33 UTC |
a60f627 | Romain WALLON | 13 March 2019, 13:08:29 UTC | Removes .class files | 13 March 2019, 13:08:29 UTC |
733ec13 | Daniel Le Berre | 05 March 2019, 06:49:16 UTC | Add Java 9 style of factory methods to vectors. | 05 March 2019, 06:49:16 UTC |
3cdc668 | Daniel Le Berre | 22 February 2019, 11:54:03 UTC | Fix issue with negative literals in #155 | 22 February 2019, 11:54:03 UTC |
0132cc3 | Daniel Le Berre | 22 February 2019, 08:46:09 UTC | Adding test cases for #155. | 22 February 2019, 08:46:09 UTC |
45015ab | Daniel Le Berre | 20 February 2019, 08:28:00 UTC | Initial code for #155 | 20 February 2019, 08:28:00 UTC |
488be78 | Daniel Le Berre | 27 January 2019, 17:06:10 UTC | Bump surefire plugin to 2.22.1 to avoid problem with Java 11 build. | 27 January 2019, 17:06:10 UTC |
18801b5 | Daniel Le Berre | 27 January 2019, 15:32:15 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 27 January 2019, 15:32:15 UTC |
7b3b331 | Daniel Le Berre | 27 January 2019, 15:21:21 UTC | Fix for #153. Throwing an exception if the solver is in unpredictable state. | 27 January 2019, 15:31:53 UTC |
9d0a366 | Daniel Le Berre | 27 January 2019, 15:21:21 UTC | Fix for #153. Throwing an exception if the solver is in unpredictable state. | 27 January 2019, 15:22:12 UTC |
342103f | Daniel Le Berre | 27 January 2019, 11:15:52 UTC | disable doclint introduced in Java 8 for recent version of maven-javadoc-plugin. See #154. | 27 January 2019, 11:15:52 UTC |
cf18734 | Daniel Le Berre | 27 January 2019, 10:50:46 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 27 January 2019, 10:50:46 UTC |
e0e0c24 | Daniel Le Berre | 27 January 2019, 10:50:32 UTC | fix for #154 | 27 January 2019, 10:50:32 UTC |
8ecd441 | Daniel Le Berre | 25 January 2019, 14:26:43 UTC | Update README.md | 25 January 2019, 14:26:43 UTC |
498baa7 | Daniel Le Berre | 17 January 2019, 11:12:43 UTC | ajout test maven36 | 17 January 2019, 11:12:43 UTC |
23d9718 | Daniel Le Berre | 17 January 2019, 07:09:15 UTC | Fix comment. | 17 January 2019, 07:09:15 UTC |