Commits · master · SAT4J / sat4j

04 Oct, 2020 1 commit
- 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
09 Jun, 2020 6 commits
- Add solutionlistener feature. · e1e01226
  Daniel Le Berre authored Jun 09, 2020
  
  e1e01226
- completed SearchListener. Added solver feature. · b7ea93a1
  Daniel Le Berre authored Jun 09, 2020
  
  b7ea93a1
- Added ne reader feature. · 34cbcb24
  Daniel Le Berre authored Jun 09, 2020
  
  34cbcb24
- Add missing annotation for new Order feature. · b00f768d
  Daniel Le Berre authored Jun 09, 2020
  
  b00f768d
- Improved output for Anthony. · 8e74b601
  Daniel Le Berre authored Jun 09, 2020
  
  8e74b601
- Add constraint feature. · 7d9f74db
  Daniel Le Berre authored Jun 09, 2020
  
  7d9f74db
04 Jun, 2020 1 commit
- Allow to force the heuristics using an external file. · 355a053c
  Daniel Le Berre authored Jun 04, 2020
  
  355a053c
23 May, 2020 1 commit
- Adds the bump strategies regarding partial assignments · a5a5be96
  Romain Wallon authored May 23, 2020
  
  a5a5be96
04 May, 2020 2 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j into cdcl-strategies · 6aacef05
  Romain Wallon authored May 04, 2020
  
  6aacef05
- Merges master into cdcl-strategies. · 29fdce5c
  Romain Wallon authored May 04, 2020
  
  29fdce5c
01 May, 2020 2 commits
- Fix for #161 · 42a72c20
  Daniel Le Berre authored May 01, 2020
  
  42a72c20
- Fix implementations of LCDS breaking encapsulation. · a2030a59
  Daniel Le Berre authored May 01, 2020
  
  a2030a59
30 Apr, 2020 1 commit
- Add DECIDED_CYCLE category · 87aed1d5
  Daniel Le Berre authored Apr 30, 2020
  
  87aed1d5