Commits · master · SAT4J / sat4j

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
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 2 commits
- Add DECIDED_CYCLE category · 87aed1d5
  Daniel Le Berre authored Apr 30, 2020
  
  87aed1d5
- Added test file for #161 · 21e97397
  Daniel Le Berre authored Apr 30, 2020
  
  21e97397
29 Apr, 2020 1 commit
- 🐛 test case showing bug #161 · d6dafed2
  Daniel Le Berre authored Apr 29, 2020
  
  d6dafed2
23 Apr, 2020 2 commits
- renamed field. · c30a037c
  Daniel Le Berre authored Apr 23, 2020
  
  c30a037c
- decided_propagated_learned + refactoring origin. · a901a1e8
  Daniel Le Berre authored Apr 23, 2020
  
  a901a1e8
22 Apr, 2020 5 commits
- Add missing class. · 94b8f653
  Daniel Le Berre authored Apr 22, 2020
  
  94b8f653
- More features identified in the code. · f3ecadea
  Daniel Le Berre authored Apr 22, 2020
  
  f3ecadea
- Made UnitClauseConsumer the only interface to implement for ManyCore · c2a6a1c5
  Daniel Le Berre authored Apr 22, 2020
```
(instead of SearchListener).
```
  c2a6a1c5
- Compute only decided propagated when color parameter is given (else it · 93739f85
  Daniel Le Berre authored Apr 22, 2020
```
breaks the state of the solver when reused afterwards).
```
  93739f85
- Fix code to maintain invariants. · 96192bb6
  Daniel Le Berre authored Apr 22, 2020
  
  96192bb6
21 Apr, 2020 3 commits
- Add a few feature annotations. · bdd1bd37
  Daniel Le Berre authored Apr 21, 2020
  
  bdd1bd37
- Rename name() into value() to simplify use with default parent. · 4c49fb2a
  Daniel Le Berre authored Apr 21, 2020
  
  4c49fb2a
- Annotation to explain the design of Sat4j · c67f55e9
  Daniel Le Berre authored Apr 21, 2020
  
  c67f55e9
18 Apr, 2020 2 commits
- Move colors as a property of the enumeration. · 08ec8f5a
  Daniel Le Berre authored Apr 18, 2020
  
  08ec8f5a
- Fix decided_propagated computation (mixup p and q) · f6d084d2
  Daniel Le Berre authored Apr 18, 2020
  
  f6d084d2
17 Apr, 2020 3 commits
- Fixing decided_propagated computation. · 4265eae1
  Daniel Le Berre authored Apr 17, 2020
  
  4265eae1
- Added missing class · ad982828
  Daniel Le Berre authored Apr 17, 2020
  
  ad982828
- Added decided/propagated. · 2ca18bb4
  Daniel Le Berre authored Apr 17, 2020
  
  2ca18bb4
10 Apr, 2020 1 commit
- Blue instead of purple + stats. · 8784f11d
  Daniel Le Berre authored Apr 10, 2020
  
  8784f11d
07 Apr, 2020 2 commits
- Updated outdated PB files. · 03a4b84a
  Daniel Le Berre authored Apr 07, 2020
  
  03a4b84a
- Better support for literal assignment origin. · e836ecba
  Daniel Le Berre authored Apr 07, 2020
  
  e836ecba
06 Apr, 2020 2 commits
- Fix LBD computation with unassigned literals (when used with PB · 2cd4cbe8
  Daniel Le Berre authored Apr 06, 2020
```
constraints).
```
  2cd4cbe8
- Allow displaying colored models using -Dcolor system parameter. · f39e3924
  Daniel Le Berre authored Apr 06, 2020
  
  f39e3924
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