Commits · master · SAT4J / sat4j

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 7 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
- Rebuilt random solver. · a5ae1b29
  Daniel Le Berre authored Oct 04, 2020
  
  a5ae1b29
- Improved debug display · aea58944
  Daniel Le Berre authored Oct 04, 2020
  
  aea58944
- Allow non deterministic behavior. · b0e95aeb
  Daniel Le Berre authored Oct 04, 2020
  
  b0e95aeb
- Allow setting timeout on core java launcher. · 0e6a8142
  Daniel Le Berre authored Oct 04, 2020
  
  0e6a8142
- Merge branch 'cdcl-strategies' into 'master' · 4e856a4d
  Daniel Le Berre authored Oct 04, 2020
```
Cdcl strategies

See merge request !6
```
  4e856a4d
18 Sep, 2020 1 commit
- Improves the backjump level by looking to falsified literals only · c3d638ad
  Romain WALLON authored Sep 18, 2020
  
  c3d638ad
13 Sep, 2020 1 commit
- Considers watched literals in resolution based solvers for Both-like solvers · 91bce9d3
  Romain Wallon authored Sep 13, 2020
  
  91bce9d3
10 Sep, 2020 1 commit
- Allow a more sober CPU consumption in Both PB solver. · 63107adc
  Daniel Le Berre authored Sep 10, 2020
  
  63107adc
09 Sep, 2020 2 commits
- Fixes the solver instantiated for RoundingSatPOS2020 · 985bae75
  Romain WALLON authored Sep 09, 2020
  
  985bae75
- Adds factories for the new configurations presented in 2020. · a94fbade
  Romain WALLON authored Sep 09, 2020
  
  a94fbade
15 Aug, 2020 1 commit
- Adds a slack based LCDS · f4790fb8
  Romain Wallon authored Aug 11, 2020
  
  f4790fb8
07 Aug, 2020 2 commits
- Adds back a CLI option that had been removed · a5f75884
  Romain Wallon authored Aug 07, 2020
  
  a5f75884
- Ads some more bumping and LCD strategies · 7ce27840
  Romain Wallon authored Aug 07, 2020
  
  7ce27840
05 Aug, 2020 1 commit
- ✨ Adds the LBD-effective measure · 3c078bdd
  Romain Wallon authored Aug 05, 2020
  
  3c078bdd
28 Jul, 2020 2 commits
- Adds a new bump strategy · 297871ae
  Romain Wallon authored Jul 28, 2020
  
  297871ae
- Adds more statistics to the different LCDSs. · 6d880cc4
  Romain Wallon authored Jul 28, 2020
  
  6d880cc4
26 Jul, 2020 2 commits
- Fixed test case. · c091d768
  Daniel Le Berre authored Jul 26, 2020
  
  c091d768
- Can now detect learned unit clause. · ae418f13
  Daniel Le Berre authored Jul 26, 2020
  
  ae418f13
24 Jul, 2020 1 commit
- Adds the bumper for effective literals only. · 408542ef
  Romain WALLON authored Jul 24, 2020
  
  408542ef
22 Jul, 2020 1 commit
- Annotated prime implicant strategy · e5676273
  Daniel Le Berre authored Jul 22, 2020
  
  e5676273
15 Jul, 2020 1 commit
- More statistics for the different strategies · 3fc24511
  Romain WALLON authored Jul 15, 2020
  
  3fc24511
02 Jul, 2020 5 commits
- Merge branch 'weakening-investigations' into cdcl-strategies · e19a5e18
  Romain Wallon authored Jul 02, 2020
  
  e19a5e18
- Another fix for Java 8 · 0f34a5c0
  Romain Wallon authored Jul 02, 2020
  
  0f34a5c0
- Merge branch 'cdcl-strategies' of https://gitlab.ow2.org/sat4j/sat4j into cdcl-strategies · 713a0843
  Romain Wallon authored Jul 02, 2020
  
  713a0843
- Merge branch 'weakening-investigations' into cdcl-strategies · e72e8677
  Romain Wallon authored Jul 02, 2020
  
  e72e8677
- Fixes an issue with Java 8 · d89b7c94
  Romain Wallon authored Jul 02, 2020
  
  d89b7c94
22 Jun, 2020 1 commit
- Fixes a missing method and uses LBD-based restarts in resolution-based solvers · 57ca63cf
  Romain Wallon authored Jun 22, 2020
  
  57ca63cf
20 Jun, 2020 2 commits
- Merge branch 'master' into cdcl-strategies · 9f33062a
  Romain Wallon authored Jun 20, 2020
  
  9f33062a
- Removes an unused import. · 81fa78b9
  Romain Wallon authored Jun 20, 2020
  
  81fa78b9
10 Jun, 2020 2 commits
- Added annotation on the method, not the type for ManyCore. · 22374e5e
  Daniel Le Berre authored Jun 10, 2020
  
  22374e5e
- Removed incorrect annotation. · 22f5a2a4
  Daniel Le Berre authored Jun 10, 2020
  
  22f5a2a4