Commits · master · SAT4J / sat4j · GitLab

30 Mar, 2020 4 commits
- Default LCDS is ActivityBased for PB constraints. · 71c7ab48
  Daniel Le Berre authored Mar 30, 2020
  
  71c7ab48
- Javadoc regarding LBD computation in LCDS. · f8232e6f
  Daniel Le Berre authored Mar 30, 2020
  
  f8232e6f
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git · 88cb4b1e
  Daniel Le Berre authored Mar 30, 2020
  
  88cb4b1e
- call onClauseLearning() in SolverCP conflict analysis. · 4d85c81c
  Daniel Le Berre authored Mar 30, 2020
  
  4d85c81c
26 Mar, 2020 1 commit
- Allows to check whether a PB constraint is currently satisfied. · f6f7d3cd
  Romain WALLON authored Mar 26, 2020
  
  f6f7d3cd
20 Mar, 2020 1 commit
- Improves OPB parsing: number of constraints and Exception handling. · 3dc429a3
  Romain WALLON authored Mar 20, 2020
  
  3dc429a3
11 Mar, 2020 1 commit
- Add a getter to LCDS · 10f70aa8
  Daniel Le Berre authored Mar 11, 2020
  
  10f70aa8
10 Mar, 2020 1 commit
- No more solver duplicated field. · 2a009b38
  Daniel Le Berre authored Mar 10, 2020
  
  2a009b38
09 Mar, 2020 1 commit
- Use setActivity instead of incActivity (even if it is the same behavior · 1d6996c3
  Daniel Le Berre authored Mar 09, 2020
```
in that particular case).
```
  1d6996c3
04 Mar, 2020 1 commit
- Now provide access to the winner id. · 40960df0
  Daniel Le Berre authored Mar 04, 2020
  
  40960df0
03 Mar, 2020 2 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · faeea895
  Daniel Le Berre authored Mar 03, 2020
  
  faeea895
- Add missing use of assumptions · fc6db1f8
  Daniel Le Berre authored Mar 03, 2020
  
  fc6db1f8
02 Mar, 2020 1 commit
- Considers assumptions when invoking `preventTheSameDecisionsToBeMade' · ed3ca963
  Romain WALLON authored Mar 02, 2020
  
  ed3ca963
28 Feb, 2020 3 commits
- Encapsulates the starting of the mapping. · f1b4696f
  Romain WALLON authored Feb 28, 2020
  
  f1b4696f
- Still more freedom for subclassing readers. · 6dc0731e
  Romain WALLON authored Feb 28, 2020
  
  6dc0731e
- Gives more freedom to subclass readers in third-party softwares. · 8d54a5f0
  Romain WALLON authored Feb 28, 2020
  
  8d54a5f0
14 Feb, 2020 1 commit
- Clarifies that propagating on PB constraints does not guarantee to · 3951cadf
  Romain WALLON authored Feb 14, 2020
```
detect all conflicts
```
  3951cadf
11 Feb, 2020 4 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · 73a0a8f7
  Romain WALLON authored Feb 11, 2020
  
  73a0a8f7
- Detects conflicts earlier thanks to trail position. · 5d9f8a13
  Romain WALLON authored Feb 11, 2020
  
  5d9f8a13
- Fix NPE and ClassCastException in PBCautious solver. · ee673934
  Daniel Le Berre authored Feb 11, 2020
  
  ee673934
- Added a new feature for better conflict detection on the PB side. · 8a186b23
  Daniel Le Berre authored Feb 11, 2020
  
  8a186b23
04 Feb, 2020 2 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · b2d0f07a
  Daniel Le Berre authored Feb 04, 2020
  
  b2d0f07a
- Moving to Java 1.7 within Eclipse · 285b8c23
  Daniel Le Berre authored Feb 04, 2020
  
  285b8c23
07 Jan, 2020 2 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · 016981c0
  Romain WALLON authored Jan 07, 2020
  
  016981c0
- Adds an automatic module name for the generated JARs. · 6738d0a2
  Romain WALLON authored Jan 07, 2020
  
  6738d0a2
02 Jan, 2020 2 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git · b42710a4
  Daniel Le Berre authored Jan 02, 2020
  
  b42710a4
- Add two new utility methods to translate collections to Vec or VecInt. · be0b98ef
  Daniel Le Berre authored Jan 02, 2020
  
  be0b98ef
13 Dec, 2019 3 commits
- Adds missing file · 3dd457b2
  Romain WALLON authored Dec 13, 2019
  
  3dd457b2
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git · 99823268
  Romain WALLON authored Dec 13, 2019
  
  99823268
- Prevents bad model counts when variables do not appear in the instance. · 89a6e0d3
  Romain WALLON authored Dec 13, 2019
  
  89a6e0d3
10 Dec, 2019 2 commits
- Make sure that the reader takes into account the mapping when exists. · 8b267f3a
  Daniel Le Berre authored Dec 10, 2019
  
  8b267f3a
- Propagate useMapping() in created Reader. · 8afd2048
  Daniel Le Berre authored Dec 10, 2019
  
  8afd2048
09 Dec, 2019 1 commit
- Improved colors for decision and conflict labels. · 3c55030c
  Daniel Le Berre authored Dec 09, 2019
  
  3c55030c
04 Dec, 2019 2 commits
- Improves the implementation of both ApproxMC versions. · 25df19ab
  Romain WALLON authored Dec 04, 2019
  
  25df19ab
- First implementation of ApproxMC2. · 604f78f9
  Romain WALLON authored Dec 04, 2019
  
  604f78f9
01 Dec, 2019 2 commits
- ApproxMC with ModelIterator · 7f03318d
  Daniel Le Berre authored Dec 01, 2019
  
  7f03318d
- Some improvements to ModelIterator. · fa00d367
  Daniel Le Berre authored Dec 01, 2019
  
  fa00d367
30 Nov, 2019 3 commits
- ModelIterator now allows to clear blocking clauses. · 634c0432
  Daniel Le Berre authored Nov 30, 2019
  
  634c0432
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · ceb30a54
  Daniel Le Berre authored Nov 30, 2019
  
  ceb30a54
- removed csp xml parser from main distribution · 7c6b5e5a
  Daniel Le Berre authored Nov 30, 2019
  
  7c6b5e5a