Commits · master · SAT4J / sat4j

12 Apr, 2021 1 commit
- Removing ow2 staging repository · 4a3e7d85
  Daniel Le Berre authored Apr 12, 2021
  
  4a3e7d85
10 Apr, 2021 20 commits
- Refactored propagatePI: it is void a void method. · 7d51fdee
  Daniel Le Berre authored Apr 10, 2021
  
  7d51fdee
- Make Explainer serializable. · c84cb5bd
  Daniel Le Berre authored Apr 10, 2021
  
  c84cb5bd
- Fix serialization violation (sonarqube). · 9f0bb8e6
  Daniel Le Berre authored Apr 10, 2021
  
  9f0bb8e6
- Fix deprecated code and use more adapted assertEquals. · 2600793a
  Daniel Le Berre authored Apr 10, 2021
  
  2600793a
- Remove empty tests cases. · 1824d4fa
  Daniel Le Berre authored Apr 10, 2021
  
  1824d4fa
- Add missing assertion. · b96720d3
  Daniel Le Berre authored Apr 10, 2021
  
  b96720d3
- Fix test case. · 66ef1757
  Daniel Le Berre authored Apr 10, 2021
  
  66ef1757
- Removed deprecated class. · 49895cdf
  Daniel Le Berre authored Apr 10, 2021
  
  49895cdf
- Add missing assertions. · ce1061d6
  Daniel Le Berre authored Apr 10, 2021
  
  ce1061d6
- Add missing assertion. · a2117f8d
  Daniel Le Berre authored Apr 10, 2021
  
  a2117f8d
- Add missing assertions. · 3b2122a3
  Daniel Le Berre authored Apr 10, 2021
  
  3b2122a3
- Add assertions in bug report test · 5e65dab2
  Daniel Le Berre authored Apr 10, 2021
  
  5e65dab2
- Remove empty test cases. · 5e1d42ad
  Daniel Le Berre authored Apr 10, 2021
  
  5e1d42ad
- Add missing assertions in bug report test. · 8d4679fb
  Daniel Le Berre authored Apr 10, 2021
  
  8d4679fb
- Introduce assertions in bug report tests · c12a0310
  Daniel Le Berre authored Apr 10, 2021
  
  c12a0310
- Add assertion in test case. · 824bfaf6
  Daniel Le Berre authored Apr 10, 2021
  
  824bfaf6
- Moved prefixes in an enum. No more constants in ILauncherMode. · 28aded53
  Daniel Le Berre authored Apr 10, 2021
  
  28aded53
- Add details regarding the name of the solver having unit clauses · 845d0561
  Daniel Le Berre authored Apr 10, 2021
```
problem.
```
  845d0561
- update dependencies for java 16 · 77c27762
  Daniel Le Berre authored Apr 10, 2021
  
  77c27762
- bump mockito version to 3.8.25 · fd6cb9d0
  Daniel Le Berre authored Apr 10, 2021
  
  fd6cb9d0
09 Apr, 2021 3 commits
- testing ow2 staging 1.5.1 parent pom · 548fddc7
  Daniel Le Berre authored Apr 09, 2021
  
  548fddc7
- Update maven 3.6.3 -> 3.8.1 · 00d56238
  Daniel Le Berre authored Apr 09, 2021
  
  00d56238
- Using ow2 parent pom 1.5.1-snapshot for maven 3.8.1 · 04589bb0
  Daniel Le Berre authored Apr 09, 2021
  
  04589bb0
03 Mar, 2021 1 commit
- WIP: fix for #165. Need to check how much it affects the solver · facdc8b5
  Daniel Le Berre authored Mar 02, 2021
```
performance.
```
  facdc8b5
25 Feb, 2021 1 commit
- Fix for #164 · 83133f7b
  Daniel Le Berre authored Feb 25, 2021
  
  83133f7b
24 Feb, 2021 2 commits
- Rename the field lbdTimer into glucoseTimer to make clear it is using · 4a45855d
  Daniel Le Berre authored Feb 24, 2021
```
the Glucose scheme.
```
  4a45855d
- Renamed LBDConflictTimer as GlucoseConflictTimer. · 250cdf83
  Daniel Le Berre authored Feb 24, 2021
```
This scheme is not related to LBD, but to the way Glucose is performing
it's clauses cleaning checks.
```
  250cdf83
22 Feb, 2021 3 commits
- Remove spurious debug message · 502d199e
  Daniel Le Berre authored Feb 22, 2021
  
  502d199e
- Test case for #162 · 8c4f55e6
  Daniel Le Berre authored Feb 22, 2021
  
  8c4f55e6
- First steps to fix #162 · 4897e445
  Daniel Le Berre authored Feb 22, 2021
  
  4897e445
13 Jan, 2021 2 commits
- Updated CI for Sat4j 3.0: Java 11+ · dbb8901e
  Daniel Le Berre authored Jan 13, 2021
  
  dbb8901e
- Heading to Sat4j 3.0 · eba76d99
  Daniel Le Berre authored Jan 13, 2021
  
  eba76d99
14 Dec, 2020 1 commit
- release 2.3.6 · bf44d05e
  Daniel Le Berre authored Dec 14, 2020
  
  bf44d05e
08 Dec, 2020 1 commit
- ACLIB files for Sat4j · 2bcdcb30
  Daniel Le Berre authored Dec 08, 2020
  
  2bcdcb30
31 Oct, 2020 3 commits
- Allow DetectCards to enumerate solutions. · 4d2dea08
  Daniel Le Berre authored Oct 31, 2020
  
  4d2dea08
- Feature annotation. · b39dab52
  Daniel Le Berre authored Oct 31, 2020
  
  b39dab52
- Allow nondeterministic behavior of the solver. · ee9c972f
  Daniel Le Berre authored Oct 31, 2020
  
  ee9c972f
04 Oct, 2020 2 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · 4d8c5574
  Daniel Le Berre authored Oct 04, 2020
  
  4d8c5574
- settings to Java 7 instead of 6 · c2ab17e2
  Daniel Le Berre authored Oct 04, 2020
  
  c2ab17e2