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 |
84666e2 | Romain Wallon | 01 March 2022, 09:38:38 UTC | :art: Fixes an issue with optional. | 01 March 2022, 09:38:38 UTC |
e5d4bd7 | Daniel Le Berre | 28 February 2022, 21:52:42 UTC | Fixed sonar violation and removed unused method. | 28 February 2022, 21:52:42 UTC |
0d0806c | Daniel Le Berre | 28 February 2022, 17:57:53 UTC | Make DependencyHelper Serializable. | 28 February 2022, 17:57:53 UTC |
3705500 | Daniel Le Berre | 28 February 2022, 17:21:23 UTC | Another sonarqube fix (CardConstrFinder). | 28 February 2022, 17:21:23 UTC |
2ed3c22 | Daniel Le Berre | 28 February 2022, 17:13:24 UTC | Fix sonarqube issue on regexp. | 28 February 2022, 17:13:24 UTC |
6926454 | Daniel Le Berre | 05 December 2021, 11:28:25 UTC | :pencil2: Reusing the same FileWriter object for each method | 05 December 2021, 11:28:25 UTC |
6b5ac38 | Daniel Le Berre | 05 December 2021, 10:04:41 UTC | Updated releases location | 05 December 2021, 10:04:41 UTC |
1325f5b | Romain Wallon | 23 November 2021, 15:12:38 UTC | Merge branch 'preproc_pb' of https://gitlab.ow2.org/romain_wallon/sat4j | 23 November 2021, 15:12:38 UTC |
b7310b2 | tfalque.ext | 23 November 2021, 08:35:03 UTC | :bug: fixes compilation | 23 November 2021, 08:35:03 UTC |
3caf0d8 | tfalque.ext | 23 November 2021, 08:31:26 UTC | :sparkles: first implementation of GaussElimination | 23 November 2021, 08:31:26 UTC |
b812876 | tfalque.ext | 22 November 2021, 18:02:44 UTC | :recycle: Preproc | 22 November 2021, 18:02:44 UTC |
7cd1d13 | Thibault Falque | 22 November 2021, 07:33:14 UTC | updates Gaussian | 22 November 2021, 07:33:14 UTC |
49455f0 | Romain Wallon | 18 November 2021, 14:38:16 UTC | Fixes the weakened literal given to the PBSearchListener. | 18 November 2021, 14:38:16 UTC |
1797513 | tfalque.ext | 10 November 2021, 18:02:58 UTC | updates | 10 November 2021, 18:02:58 UTC |
ab08161 | tfalque.ext | 09 November 2021, 18:07:37 UTC | updates preprocessing | 09 November 2021, 18:07:37 UTC |
e57b805 | Romain Wallon | 03 November 2021, 17:31:07 UTC | :bug: Some bug fixes. | 03 November 2021, 17:31:07 UTC |
7f544db | tfalque.ext | 02 November 2021, 16:53:44 UTC | updates Preproc | 02 November 2021, 16:53:44 UTC |
12dfc30 | tfalque.ext | 29 October 2021, 16:40:52 UTC | Adds subsetsum | 29 October 2021, 16:40:52 UTC |
4b3b905 | tfalque.ext | 29 October 2021, 11:02:12 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 29 October 2021, 11:02:12 UTC |
3610d72 | Daniel Le Berre | 20 September 2021, 14:59:58 UTC | Merge branch 'VERIPB2' into 'master' Add support for veripb in CP based solvers See merge request sat4j/sat4j!9 | 20 September 2021, 14:59:58 UTC |
d326677 | Anthony Blomme | 20 September 2021, 14:04:37 UTC | Delete Anthony2.java | 20 September 2021, 14:04:37 UTC |
ced102e | Anthony Blomme | 20 September 2021, 14:03:46 UTC | Delete Anthony.java | 20 September 2021, 14:03:46 UTC |
6ce7661 | Blomme Anthony | 20 September 2021, 12:46:02 UTC | handling other file formats | 20 September 2021, 12:46:02 UTC |
c19d473 | Blomme Anthony | 20 September 2021, 12:03:57 UTC | rectification saturation | 20 September 2021, 12:03:57 UTC |
09bb8a7 | Blomme Anthony | 20 September 2021, 09:29:48 UTC | veriPB : try to use saturation in the proof only when necessary | 20 September 2021, 09:29:48 UTC |
504d5ca | Blomme Anthony | 17 September 2021, 14:58:43 UTC | Notify the listener when a clause is inferred after a saturation | 17 September 2021, 14:58:43 UTC |
7e7177d | Blomme Anthony | 17 September 2021, 14:24:17 UTC | push | 17 September 2021, 14:24:17 UTC |
82b5967 | Blomme Anthony | 17 September 2021, 14:21:05 UTC | Detect division to clause | 17 September 2021, 14:21:05 UTC |
d265bf7 | Blomme Anthony | 16 September 2021, 11:14:29 UTC | Add multiplication/division iff coeff > 1 | 16 September 2021, 11:14:29 UTC |
6b85bf8 | Blomme Anthony | 16 September 2021, 11:11:32 UTC | Add multiplication and division iff coeff > 1 | 16 September 2021, 11:11:32 UTC |
81030b6 | Daniel Le Berre | 15 September 2021, 07:24:35 UTC | Phase selection strategy is also random | 15 September 2021, 07:24:35 UTC |
24b0639 | Daniel Le Berre | 11 September 2021, 13:12:49 UTC | Greedy OPB solver | 11 September 2021, 13:12:49 UTC |
9c04ce7 | Daniel Le Berre | 07 September 2021, 15:04:34 UTC | Better message (0 >= 1 instead of null). | 07 September 2021, 15:04:34 UTC |
09815de | Daniel Le Berre | 07 September 2021, 14:48:29 UTC | Merge branch 'VERIPB2' of https://gitlab.ow2.org/sat4j/sat4j into VERIPB | 07 September 2021, 14:48:29 UTC |
93082e1 | Daniel Le Berre | 07 September 2021, 14:47:12 UTC | Taking into account the case of null parameter. | 07 September 2021, 14:47:12 UTC |
08d180f | Blomme Anthony | 02 September 2021, 09:44:00 UTC | Fix weakening bug | 02 September 2021, 09:44:00 UTC |
e8f5db2 | Blomme Anthony | 02 September 2021, 09:36:08 UTC | Fix weakening bug | 02 September 2021, 09:36:08 UTC |
644cead | Daniel Le Berre | 31 August 2021, 14:10:50 UTC | Fix compilation problems. | 31 August 2021, 14:10:50 UTC |
498622d | Daniel Le Berre | 15 July 2021, 11:56:04 UTC | Using dedicated message for VERIPB. | 31 August 2021, 13:37:11 UTC |
c632d76 | Daniel Le Berre | 15 July 2021, 11:47:26 UTC | Textual representation of listeners. | 31 August 2021, 13:37:11 UTC |
808cb14 | Daniel Le Berre | 13 July 2021, 17:01:31 UTC | Using dump() instead of toString() to get the expected textual representation. | 31 August 2021, 13:37:11 UTC |
6f236c9 | Blomme Anthony | 13 July 2021, 15:56:36 UTC | Fix for last clause derivation | 31 August 2021, 13:37:11 UTC |
49947d1 | Blomme Anthony | 05 June 2021, 09:18:15 UTC | Adding the option e | 31 August 2021, 13:37:10 UTC |
83265ac | Daniel Le Berre | 17 May 2021, 14:51:32 UTC | added constraints for = in the same order as expected by VeriPB | 31 August 2021, 13:37:10 UTC |
ea618d8 | Daniel Le Berre | 17 May 2021, 14:44:14 UTC | Do the loop on each enclosed constraint. | 31 August 2021, 13:37:10 UTC |
ac1ce77 | Daniel Le Berre | 17 May 2021, 14:38:23 UTC | fixes id for = constraints | 31 August 2021, 13:37:10 UTC |
c4ebee2 | Blomme Anthony | 26 April 2021, 13:54:15 UTC | MAJ VERIPB | 31 August 2021, 13:37:10 UTC |
27a76ef | Daniel Le Berre | 22 February 2021, 10:19:58 UTC | Make sure that plain SearchListener objects can be used with CP based solvers which now expect a PBSearchListener. | 31 August 2021, 13:37:10 UTC |
62a414b | Daniel Le Berre | 21 February 2021, 08:29:48 UTC | Uses a default void PBSearchListener when MapPb are not used for conflict analysis (e.g. constraints normalization). | 31 August 2021, 13:37:10 UTC |
feffd5d | Daniel Le Berre | 20 February 2021, 17:43:47 UTC | Move IConflict.setListener() to make sure it is called in all CP solvers. | 31 August 2021, 13:37:10 UTC |
454cc5f | Daniel Le Berre | 20 February 2021, 17:27:39 UTC | Not applicable here. | 31 August 2021, 13:37:10 UTC |
29c133a | Blomme Anthony | 22 February 2021, 09:08:40 UTC | First implementation of proof logging | 31 August 2021, 13:37:10 UTC |
db3d1a8 | Daniel Le Berre | 19 February 2021, 13:35:21 UTC | Move PBSearchListener setter in createReader. | 31 August 2021, 13:37:10 UTC |
97043f8 | Daniel Le Berre | 18 February 2021, 13:05:16 UTC | Moved set/get id to IConstr | 31 August 2021, 13:37:10 UTC |
b80e750 | Daniel Le Berre | 15 February 2021, 17:04:11 UTC | Added optional setId() to Constr. | 31 August 2021, 13:37:10 UTC |
dbf63dc | Daniel Le Berre | 15 February 2021, 16:51:04 UTC | Fix for ClassCastException. | 31 August 2021, 13:37:10 UTC |
e944820 | Daniel Le Berre | 15 February 2021, 16:38:08 UTC | Got all possible solution for nofail. | 31 August 2021, 13:37:10 UTC |
e7a44ad | Blomme Anthony | 15 February 2021, 15:38:00 UTC | Complete nofail solver | 31 August 2021, 13:37:10 UTC |
30d564e | Daniel Le Berre | 10 February 2021, 13:49:37 UTC | Refactored code to be easier to check. | 31 August 2021, 13:37:10 UTC |
f6902cb | Daniel Le Berre | 10 February 2021, 13:43:40 UTC | First version of the discerning solver (1 single solution). | 31 August 2021, 13:37:10 UTC |
e7ff6a8 | Daniel Le Berre | 25 January 2021, 18:01:36 UTC | Calcul de BB pour Anthony | 31 August 2021, 13:37:10 UTC |
0730580 | Daniel Le Berre | 25 January 2021, 17:40:30 UTC | Overridden getId() in PBConstr. | 31 August 2021, 13:37:10 UTC |
14cd271 | Daniel Le Berre | 14 January 2021, 15:53:25 UTC | Linking ConflictMap and PBSearchListener. | 31 August 2021, 13:37:10 UTC |
b0f351a | Daniel Le Berre | 13 January 2021, 14:08:06 UTC | Added an id to PB constrs | 31 August 2021, 13:34:14 UTC |
0f590ec | Romain WALLON | 18 November 2020, 19:42:15 UTC | Fixes a wrong use of a method | 31 August 2021, 13:32:17 UTC |
d10e3c9 | Romain WALLON | 18 November 2020, 19:26:13 UTC | First attempt to integrate PB proof logging in conflict analysis | 31 August 2021, 13:32:17 UTC |
6c9eacb | Romain WALLON | 18 November 2020, 17:56:04 UTC | Allows to log partial weakening | 31 August 2021, 13:32:17 UTC |
db0fdbf | Daniel Le Berre | 11 November 2020, 18:33:31 UTC | Java 1.8+ to get default methods support | 31 August 2021, 13:32:17 UTC |
ad7f983 | Daniel Le Berre | 11 November 2020, 17:30:34 UTC | Default SearchListener in PBSolverCP is now a PBSearchListener | 31 August 2021, 13:29:47 UTC |
c3562b2 | Daniel Le Berre | 11 November 2020, 17:05:19 UTC | Interface for PB conflict analysis | 31 August 2021, 13:29:47 UTC |
0e8589a | Daniel Le Berre | 31 August 2021, 13:27:02 UTC | Detect when no decision are taken after the first conflict. | 31 August 2021, 13:27:02 UTC |
ca754f5 | Daniel Le Berre | 08 May 2021, 08:39:28 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 08 May 2021, 08:39:28 UTC |
f0d9a86 | Romain WALLON | 10 February 2021, 15:17:47 UTC | Double bump conflicting and better effectiveness. (cherry picked from commit b872caa503b14baacafc4c573408c56aa9b20b57) | 08 May 2021, 08:37:59 UTC |
4a3e7d8 | Daniel Le Berre | 12 April 2021, 07:03:38 UTC | Removing ow2 staging repository | 12 April 2021, 07:03:38 UTC |
2e54e44 | Daniel Le Berre | 11 April 2021, 08:04:05 UTC | log properly exception messages. | 11 April 2021, 08:04:05 UTC |
7d51fde | Daniel Le Berre | 10 April 2021, 14:49:05 UTC | Refactored propagatePI: it is void a void method. | 10 April 2021, 14:49:05 UTC |
c84cb5b | Daniel Le Berre | 10 April 2021, 13:09:36 UTC | Make Explainer serializable. | 10 April 2021, 13:09:36 UTC |
9f0bb8e | Daniel Le Berre | 10 April 2021, 12:57:18 UTC | Fix serialization violation (sonarqube). | 10 April 2021, 12:57:18 UTC |
2600793 | Daniel Le Berre | 10 April 2021, 12:53:19 UTC | Fix deprecated code and use more adapted assertEquals. | 10 April 2021, 12:53:19 UTC |
1824d4f | Daniel Le Berre | 10 April 2021, 12:31:31 UTC | Remove empty tests cases. | 10 April 2021, 12:31:31 UTC |
b96720d | Daniel Le Berre | 10 April 2021, 12:30:37 UTC | Add missing assertion. | 10 April 2021, 12:30:37 UTC |
66ef175 | Daniel Le Berre | 10 April 2021, 11:10:11 UTC | Fix test case. | 10 April 2021, 11:10:11 UTC |
49895cd | Daniel Le Berre | 10 April 2021, 11:07:22 UTC | Removed deprecated class. | 10 April 2021, 11:07:22 UTC |
ce1061d | Daniel Le Berre | 10 April 2021, 10:25:49 UTC | Add missing assertions. | 10 April 2021, 10:25:49 UTC |
a2117f8 | Daniel Le Berre | 10 April 2021, 10:18:17 UTC | Add missing assertion. | 10 April 2021, 10:18:17 UTC |
3b2122a | Daniel Le Berre | 10 April 2021, 10:02:42 UTC | Add missing assertions. | 10 April 2021, 10:02:42 UTC |
5e65dab | Daniel Le Berre | 10 April 2021, 09:50:17 UTC | Add assertions in bug report test | 10 April 2021, 09:50:17 UTC |
5e1d42a | Daniel Le Berre | 10 April 2021, 09:45:43 UTC | Remove empty test cases. | 10 April 2021, 09:45:43 UTC |