ac2343a | Daniel Le Berre | 19 March 2024, 21:11:31 UTC | Update test for #175 | 19 March 2024, 21:11:31 UTC |
4d2b397 | Daniel Le Berre | 13 March 2024, 08:17:55 UTC | Fix Statistics solver | 13 March 2024, 08:17:55 UTC |
47dd16c | Daniel Le Berre | 07 March 2024, 10:02:09 UTC | Added option -Dsilentmode to avoid too much information during model enumeration | 07 March 2024, 10:02:09 UTC |
5f9d3ea | Daniel Le Berre | 04 March 2024, 15:52:22 UTC | Added back nightly build jars using a custom docker image | 04 March 2024, 15:52:22 UTC |
984568d | Daniel Le Berre | 04 March 2024, 15:08:18 UTC | Avoid an exception when blocking latest model raises an exception | 04 March 2024, 15:08:18 UTC |
46660b8 | Daniel Le Berre | 04 March 2024, 11:31:38 UTC | Allow projected model enumeration using external enumeration | 04 March 2024, 11:31:38 UTC |
c5536c2 | Daniel Le Berre | 04 March 2024, 11:30:52 UTC | display none when there is no SearchListener hooked to the solver | 04 March 2024, 11:30:52 UTC |
56049d0 | Daniel Le Berre | 01 March 2024, 07:20:07 UTC | Fix compilation issue | 01 March 2024, 07:20:07 UTC |
b3b695a | Daniel Le Berre | 01 March 2024, 06:47:43 UTC | Correct fix for #175 | 01 March 2024, 06:47:43 UTC |
66e3455 | Daniel Le Berre | 01 March 2024, 05:49:28 UTC | Better caching of previous model found in OptToPBSATAdapter. | 01 March 2024, 05:49:28 UTC |
8fc30e8 | Daniel Le Berre | 01 March 2024, 05:37:53 UTC | Fix for #175 | 01 March 2024, 05:37:53 UTC |
da2ea3b | Daniel Le Berre | 29 February 2024, 07:48:12 UTC | :pencil2: add a test with the external iterator. | 29 February 2024, 07:48:12 UTC |
3ba5b56 | Daniel Le Berre | 29 February 2024, 07:42:24 UTC | :test_tube: test case for bug #175 | 29 February 2024, 07:42:24 UTC |
fcbddf3 | Daniel Le Berre | 22 February 2024, 07:13:26 UTC | Fix NPE while stopping model iteration on the command line. | 22 February 2024, 07:13:26 UTC |
7364615 | Daniel Le Berre | 21 February 2024, 14:34:12 UTC | Fix optimal iterator when computing all solutions (there was an issue for the last model found). | 21 February 2024, 14:34:12 UTC |
a3a281a | Daniel Le Berre | 20 February 2024, 17:30:52 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 20 February 2024, 17:30:52 UTC |
153cf92 | Daniel Le Berre | 20 February 2024, 17:30:38 UTC | :pencil2: launching an IllegalStateException if prevmodel is null | 20 February 2024, 17:30:38 UTC |
8f4326e | Daniel Le Berre | 25 September 2023, 19:45:17 UTC | Merge branch 'set-sast-config-3' into 'master' Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist See merge request sat4j/sat4j!12 | 25 September 2023, 19:45:17 UTC |
90c8838 | Daniel Le Berre | 25 September 2023, 19:45:17 UTC | Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist | 25 September 2023, 19:45:17 UTC |
b385c14 | Romain Wallon | 13 September 2023, 13:48:20 UTC | Adapts a test wrt the use of PB constraint in all PB solvers. | 13 September 2023, 13:48:20 UTC |
b50cb93 | Romain Wallon | 13 September 2023, 12:30:36 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 13 September 2023, 12:30:36 UTC |
7e6b6a9 | Romain Wallon | 13 September 2023, 12:29:42 UTC | Uses PB clauses in resolution based solver | 13 September 2023, 12:29:42 UTC |
0f3ccf2 | Daniel Le Berre | 31 August 2023, 12:34:24 UTC | Remote default empty methods. | 31 August 2023, 12:34:24 UTC |
d089330 | Daniel Le Berre | 31 August 2023, 12:28:34 UTC | Support for blocking clause logging | 31 August 2023, 12:28:34 UTC |
f7a9b92 | Daniel Le Berre | 31 August 2023, 11:17:19 UTC | Merge branch 'use-latest-maven-version' into 'master' Build using Maven latest version (3.9.4) See merge request sat4j/sat4j!11 | 31 August 2023, 11:17:19 UTC |
f40084b | Antoine Mottier | 31 August 2023, 09:26:11 UTC | Use HTTPS for Apache Maven repository URL Use HTTPS instead of HTTP to avoid issue with recent Maven version (see https://maven.apache.org/docs/3.8.1/release-notes.html). | 31 August 2023, 09:26:11 UTC |
044c717 | Antoine Mottier | 31 August 2023, 08:38:27 UTC | Build using Maven latest version (3.9.4) - Update Maven to latest version in GitLab CI configuration file. - Moving from 3.8.4 to 3.9.4 lead to an update of maven-antrun-plugin as version is not specified in pom.xml nor in OW2 parent pom.xml (update is triggered by version defined in Maven super pom see: https://maven.apache.org/ref/3.9.4/maven-model-builder/super-pom.html). Changes introduce in maven-antrun-plugin version 3.0.0 (see https://maven.apache.org/plugins/maven-antrun-plugin/) requires some changes in the plugin configuration: parameter `tasks` is replaced by `target`. This commit include required updates. | 31 August 2023, 09:10:32 UTC |
adaf672 | Romain Wallon | 30 June 2023, 07:36:55 UTC | adds missing implementations of isSatisfied. | 30 June 2023, 07:36:55 UTC |
b678525 | emmanuel lonca | 24 April 2023, 09:52:58 UTC | fixed an issue with cardinality constraints detection | 24 April 2023, 09:52:58 UTC |
ed8a9cc | Daniel Le Berre | 21 April 2023, 20:01:59 UTC | add support for klause in PB solvers | 21 April 2023, 20:01:59 UTC |
d601793 | Daniel Le Berre | 21 April 2023, 17:15:04 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 21 April 2023, 17:15:04 UTC |
e5b3f38 | Daniel Le Berre | 21 April 2023, 17:14:52 UTC | Preliminary support for klauses | 21 April 2023, 17:14:52 UTC |
fd86606 | Daniel Le Berre | 15 April 2023, 14:04:53 UTC | Change legacy build link to Sat4j website. | 15 April 2023, 14:04:53 UTC |
21312f1 | Daniel Le Berre | 22 July 2022, 04:51:16 UTC | fixed last release date | 22 July 2022, 04:51:16 UTC |
4919835 | Daniel Le Berre | 22 July 2022, 04:50:11 UTC | added approximate creation and publication date in codemeta | 22 July 2022, 04:50:11 UTC |
ef72f10 | Daniel Le Berre | 22 July 2022, 04:39:51 UTC | provide dual licensing info to codemeta | 22 July 2022, 04:39:51 UTC |
459cb6a | Daniel Le Berre | 21 July 2022, 16:33:15 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 21 July 2022, 16:33:15 UTC |
b939a81 | Daniel Le Berre | 21 July 2022, 16:32:24 UTC | First trial to describe the project with codemeta | 21 July 2022, 16:32:24 UTC |
0ef7bab | Daniel Le Berre | 21 July 2022, 16:23:02 UTC | Fixed wrong link to older releases | 21 July 2022, 16:23:02 UTC |
8461e37 | Daniel Le Berre | 09 April 2022, 17:38:48 UTC | fix for Eclipse p2 bug #28 | 09 April 2022, 17:41:19 UTC |
b7b13af | Daniel Le Berre | 13 March 2022, 11:33:15 UTC | Fixed a few more sonarqube violations | 13 March 2022, 11:33:15 UTC |
f681580 | Daniel Le Berre | 13 March 2022, 10:47:46 UTC | removed deprecated methods Reader.parseInstance() and Reader.decode() | 13 March 2022, 10:47:46 UTC |
33b7765 | Daniel Le Berre | 13 March 2022, 10:25:07 UTC | removed deprecated methods ISolver.printStats() | 13 March 2022, 10:25:07 UTC |
2bbf726 | Daniel Le Berre | 13 March 2022, 10:19:13 UTC | removed deprecated method IProblem.printInfos() | 13 March 2022, 10:19:13 UTC |
df9025f | Daniel Le Berre | 13 March 2022, 09:24:09 UTC | create constant for repeated error message | 13 March 2022, 09:24:09 UTC |
2ab7577 | Daniel Le Berre | 13 March 2022, 09:21:21 UTC | Removed deprecated ICDCL.setLearner() and RestartStrategy.nextRestartNumberOfConflict() | 13 March 2022, 09:21:21 UTC |
922a6d8 | Daniel Le Berre | 13 March 2022, 08:40:14 UTC | Removed deprecated ISolver.newVar() | 13 March 2022, 08:40:14 UTC |
fa82e2e | Daniel Le Berre | 13 March 2022, 08:34:24 UTC | Using a constant for error messages | 13 March 2022, 08:34:24 UTC |
564208a | Daniel Le Berre | 09 March 2022, 17:52:31 UTC | Fix for createSolverByName() in core too. | 09 March 2022, 17:52:31 UTC |
881509a | Daniel Le Berre | 09 March 2022, 16:57:55 UTC | fix test case with Optional handling in createSolverByName(). | 09 March 2022, 16:57:55 UTC |
a581991 | Daniel Le Berre | 09 March 2022, 14:59:15 UTC | With Romain and Manu, IVec is now Iterable | 09 March 2022, 14:59:15 UTC |
6183de1 | Daniel Le Berre | 09 March 2022, 14:52:46 UTC | With Romain and Manu, a few more sonarqube violations | 09 March 2022, 14:52:46 UTC |
517ce89 | Daniel Le Berre | 09 March 2022, 13:59:49 UTC | With Romain and Manu, no more deprecated methods in IOptimizationProblem | 09 March 2022, 13:59:49 UTC |
62b304d | Daniel Le Berre | 09 March 2022, 13:34:50 UTC | With Romain and Manu, corrected ASolverFactory | 09 March 2022, 13:34:50 UTC |
7c6938b | Daniel Le Berre | 09 March 2022, 07:05:54 UTC | Removed deprecared Constr.forwardActivity() | 09 March 2022, 07:05:54 UTC |
584b392 | Daniel Le Berre | 09 March 2022, 06:49:35 UTC | Add @Override when overriding default methods | 09 March 2022, 06:49:35 UTC |
1357b08 | Daniel Le Berre | 08 March 2022, 21:29:24 UTC | By default, no activity computed on constraints | 08 March 2022, 21:29:24 UTC |
1271bde | Daniel Le Berre | 08 March 2022, 21:11:56 UTC | SearchListener uses default methods | 08 March 2022, 21:11:56 UTC |
2cdbf6c | Daniel Le Berre | 07 March 2022, 22:41:39 UTC | fixed sonar violation in sat package | 07 March 2022, 22:41:39 UTC |
028184d | Daniel Le Berre | 06 March 2022, 22:17:51 UTC | yet more sonarqube violations fixes for sat4j core | 06 March 2022, 22:17:51 UTC |
bd5b543 | Daniel Le Berre | 06 March 2022, 20:21:50 UTC | more sonarqube violations fixes for sat4j core | 06 March 2022, 20:21:50 UTC |
b1ff349 | Daniel Le Berre | 06 March 2022, 17:57:47 UTC | LCDS now uses default methods. | 06 March 2022, 17:57:47 UTC |
4379ff7 | Daniel Le Berre | 06 March 2022, 17:15:14 UTC | PhaseSelectionStrategy now uses default methods. | 06 March 2022, 17:15:14 UTC |
a07617c | Daniel Le Berre | 06 March 2022, 17:06:53 UTC | RestartStrategy now uses default methods. | 06 March 2022, 17:06:53 UTC |
bfc90c6 | Daniel Le Berre | 06 March 2022, 16:47:42 UTC | fixed more sonarqube violatons in sat4j core (and pb factory) | 06 March 2022, 16:47:42 UTC |
8c5cdfe | Daniel Le Berre | 06 March 2022, 16:46:45 UTC | update commons-cli to 1.5.0 for ant build | 06 March 2022, 16:46:45 UTC |
324ec34 | Daniel Le Berre | 06 March 2022, 16:14:40 UTC | fixed more sonarqube violatons in sat4j core | 06 March 2022, 16:14:40 UTC |
86c4b46 | Daniel Le Berre | 06 March 2022, 15:44:00 UTC | fixed more sonarqube violatons (sat4j core done) | 06 March 2022, 15:44:00 UTC |
ddc8fdb | Daniel Le Berre | 06 March 2022, 10:41:33 UTC | removed commented configuration | 06 March 2022, 10:41:33 UTC |
a6cb091 | Daniel Le Berre | 06 March 2022, 10:04:59 UTC | fixed more sonarqube violatons (sat4j maxsat) | 06 March 2022, 10:04:59 UTC |
45b9a78 | Daniel Le Berre | 06 March 2022, 09:32:47 UTC | fixed more sonarqube violatons (minisat core package) | 06 March 2022, 09:32:47 UTC |
e886eab | Daniel Le Berre | 05 March 2022, 13:05:30 UTC | fixed more sonarqube violatons (cnf constraints) | 05 March 2022, 13:05:30 UTC |
c83a715 | Daniel Le Berre | 05 March 2022, 13:05:06 UTC | maven 3.8.4 and Java 17 instead of 16 | 05 March 2022, 13:05:06 UTC |
8ea4a28 | Daniel Le Berre | 05 March 2022, 11:00:45 UTC | fixed compilation problem | 05 March 2022, 11:00:45 UTC |
da22bf8 | Daniel Le Berre | 05 March 2022, 08:49:01 UTC | fixed more sonarqube violatons (cardinality constraints) | 05 March 2022, 08:49:01 UTC |
0f23673 | Daniel Le Berre | 04 March 2022, 16:58:16 UTC | fixed more sonarqube violatons | 04 March 2022, 16:58:16 UTC |
a97c59c | Daniel Le Berre | 04 March 2022, 07:03:01 UTC | fixed most sonarqube violations in org.sat4j and org.sat4j.core | 04 March 2022, 07:03:01 UTC |
56e9516 | Daniel Le Berre | 04 March 2022, 06:30:01 UTC | SolutionFoundListener interface now uses default empty methods | 04 March 2022, 06:30:01 UTC |
40fdb37 | Daniel Le Berre | 03 March 2022, 07:40:36 UTC | fixed a few sonar violations (var with Java 11) | 03 March 2022, 07:40:36 UTC |
5d39eb3 | Daniel Le Berre | 03 March 2022, 07:13:12 UTC | ant build for Java 11+ | 03 March 2022, 07:13:12 UTC |
8625091 | Daniel Le Berre | 02 March 2022, 22:13:21 UTC | Added a comment and reverted "unnecessary tests". | 02 March 2022, 22:13:21 UTC |
af5f63f | Daniel Le Berre | 02 March 2022, 21:44:45 UTC | diamond operator | 02 March 2022, 21:44:45 UTC |
7bf6121 | Daniel Le Berre | 02 March 2022, 20:50:19 UTC | correction Lanceur | 02 March 2022, 20:50:19 UTC |
efbce0b | Daniel Le Berre | 02 March 2022, 20:12:26 UTC | correction Lanceur | 02 March 2022, 20:12:26 UTC |
3eca917 | Daniel Le Berre | 02 March 2022, 18:51:51 UTC | use diamond operator | 02 March 2022, 18:51:51 UTC |
7d20f2d | Daniel Le Berre | 02 March 2022, 18:51:03 UTC | removed unthrowable exception | 02 March 2022, 18:51:03 UTC |
f355092 | Daniel Le Berre | 02 March 2022, 17:22:35 UTC | Fix missing parameter type. | 02 March 2022, 17:22:35 UTC |
438b6b3 | Daniel Le Berre | 02 March 2022, 15:14:00 UTC | Manage exception handling in a single place. | 02 March 2022, 15:14:00 UTC |
5080fed | Daniel Le Berre | 01 March 2022, 22:08:31 UTC | call jacoco:report after deploy goal | 01 March 2022, 22:08:31 UTC |
50b9636 | Daniel Le Berre | 01 March 2022, 21:55:54 UTC | Fix character encoding (sonarqube warning). | 01 March 2022, 21:55:54 UTC |
0fd4d2b | Daniel Le Berre | 01 March 2022, 21:37:43 UTC | call jacoco:report before sonar goal | 01 March 2022, 21:37:43 UTC |
1589e54 | Daniel Le Berre | 01 March 2022, 21:28:08 UTC | update for jacoco report | 01 March 2022, 21:28:08 UTC |
d078e1c | Daniel Le Berre | 01 March 2022, 21:17:13 UTC | updated maven dependencies to most recent ones | 01 March 2022, 21:17:13 UTC |
65a34b1 | Daniel Le Berre | 01 March 2022, 17:13:33 UTC | removed debug code | 01 March 2022, 17:13:33 UTC |
34462fa | emmanuel lonca | 01 March 2022, 13:11:20 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 01 March 2022, 13:11:20 UTC |
157fe3b | emmanuel lonca | 01 March 2022, 13:07:17 UTC | fixed some issues pointed out by Sonar | 01 March 2022, 13:07:17 UTC |
d134a74 | Romain Wallon | 01 March 2022, 11:43:02 UTC | :fire: Removes unwanted files. | 01 March 2022, 11:43:02 UTC |
bfe0dc6 | emmanuel lonca | 01 March 2022, 11:04:16 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 01 March 2022, 11:04:16 UTC |
ee95a6d | emmanuel lonca | 01 March 2022, 11:02:59 UTC | fixed some issues pointed out by Sonar | 01 March 2022, 11:02:59 UTC |
b9a945f | Romain Wallon | 01 March 2022, 09:39:01 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 01 March 2022, 09:39:01 UTC |