Commits · 2afe466efae9fee5df2cb1fb51211c026a66ab46 · SAT4J / sat4j

20 Nov, 2017 2 commits
- remove explain keyword · 2afe466e
  Daniel Le Berre authored Nov 20, 2017
  
  2afe466e
- Do not allow maven tests to fail · 467fcc83
  Daniel Le Berre authored Nov 20, 2017
  
  467fcc83
19 Nov, 2017 1 commit
- Allow maven working with Java 9 out of the box · 0cc488ee
  Daniel Le Berre authored Nov 19, 2017
  
  0cc488ee
17 Nov, 2017 1 commit
- add test in order to weaken only needed literals (Jan's remark) · 5f8dd230
  Anne Parrain authored Nov 17, 2017
  
  5f8dd230
16 Nov, 2017 2 commits
- remove irrelevant comment on stats.numberOfDerivationSteps · fcf2abc0
  Anne Parrain authored Nov 16, 2017
  
  fcf2abc0
- Corrects a problem when finding 'any' literal to weaken · 606d39ee
  Romain WALLON authored Nov 16, 2017
  
  606d39ee
03 Nov, 2017 3 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · 2245c8eb
  Anne Parrain authored Nov 03, 2017
  
  2245c8eb
- - Code simplification in PBSolverCP : when decisionLvel()==0 at the end · 2abbc3e3
  Anne Parrain authored Nov 03, 2017
```
of conflict analysis, set immediately backtrack level to -1
- detect in ConflictMap if the conflict is not only a conflict but an
unsatisfiable constraint
```
  2abbc3e3
- Allow divide-v1 option : always round coefficient of the propagating · 1e4465b2
  Anne Parrain authored Nov 03, 2017
```
literal to 1 (during conflict anaysis)
```
  1e4465b2
31 Oct, 2017 3 commits
- Corrected issue when varid was not used in the formula · eaabcf6a
  Daniel Le Berre authored Oct 31, 2017
  
  eaabcf6a
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · ac924fe8
  Daniel Le Berre authored Oct 31, 2017
  
  ac924fe8
- Add a new static ordering to facilitate the study of the solver · 7b043d93
  Daniel Le Berre authored Oct 31, 2017
```
behavior.
```
  7b043d93
30 Oct, 2017 3 commits
- Merge branch 'cherry-pick-eb123484' into 'master' · f4123ef5
  Daniel Le Berre authored Oct 30, 2017
```
this seems to fix skipping

See merge request !2
```
  f4123ef5
- Remove commented code. · 05e4da56
  Daniel Le Berre authored Oct 30, 2017
  
  05e4da56
- this seems to fix skipping · 9c4d5765
  Jan Elffers authored Oct 27, 2017 and Daniel Le Berre committed Oct 30, 2017
  
  9c4d5765
25 Oct, 2017 1 commit
- Added support for cardinality detection. · 3728be40
  Daniel Le Berre authored Oct 25, 2017
  
  3728be40
24 Oct, 2017 1 commit
- Generate dot file even if there is no mapping. · 8d4d368f
  Daniel Le Berre authored Oct 24, 2017
  
  8d4d368f
23 Oct, 2017 3 commits
- KTH launcher can now output dot files using -dot <filename> option · 876bc671
  Daniel Le Berre authored Oct 23, 2017
  
  876bc671
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · 062d697d
  Daniel Le Berre authored Oct 23, 2017
  
  062d697d
- Disable skip for classical CP solver. · 89348d05
  Daniel Le Berre authored Oct 23, 2017
  
  89348d05
19 Oct, 2017 2 commits
- Corrects the dot tracing · d39d0800
  Romain WALLON authored Oct 19, 2017
  
  d39d0800
- Added support for --rounding-weaken-strategy · 68b18bc6
  Daniel Le Berre authored Oct 19, 2017
  
  68b18bc6
18 Oct, 2017 1 commit
- Updated statistics · e3844021
  Daniel Le Berre authored Oct 18, 2017
  
  e3844021
17 Oct, 2017 1 commit
- Display reason treatment and postprocess on solver's info header. · 3c92dfc8
  Daniel Le Berre authored Oct 17, 2017
  
  3c92dfc8
16 Oct, 2017 4 commits
- fix String value = line.getOptionValue("weaken-nonimplied"); by · 24844f7a
  Daniel Le Berre authored Oct 16, 2017
```
romain.
```
  24844f7a
- Removed spurious return statement. · 6eb8986c
  Daniel Le Berre authored Oct 16, 2017
  
  6eb8986c
- Refactoring to allow a better command line setup of the solvers. · 146c09d0
  Daniel Le Berre authored Oct 16, 2017
  
  146c09d0
- Small fixed for KTH launcher · 6cb70377
  Daniel Le Berre authored Oct 16, 2017
  
  6cb70377
01 Oct, 2017 1 commit

Added specific launcher for KTH experiments. · dc158277

Daniel Le Berre authored Oct 01, 2017

Need some polish from Anne to make sure the current mapping to options
makes sense. Encapsulated some fields of PBSolverCP to make them more
easily configurable.

dc158277

25 Sep, 2017 4 commits
- Moving builds from Maven 3.3.9 to 3.5.0 · 99e9daa4
  Daniel Le Berre authored Sep 25, 2017
  
  99e9daa4
- Update pom.xml for Maven 3.5.0 (thanks Tobias). · a7596877
  Daniel Le Berre authored Sep 25, 2017
  
  a7596877
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · af075098
  Daniel Le Berre authored Sep 25, 2017
  
  af075098
- Removed local xcsp3 repository, moved to xcsp project. · 5c40b7d8
  Daniel Le Berre authored Sep 25, 2017
  
  5c40b7d8
24 Sep, 2017 3 commits
- accent in the comments removed · 6370076a
  Anne Parrain authored Sep 24, 2017
  
  6370076a
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git · 281e8cc0
  Anne Parrain authored Sep 24, 2017
  
  281e8cc0
- Skipping resolutions steps during conflict analysis is now allowed, · d0bd4984
  Anne Parrain authored Sep 24, 2017
```
using Jan's algorithm. 

New solvers in the solver factory and new class for unit tests are
added.  
```
  d0bd4984
22 Sep, 2017 1 commit
- allow java 9 build to fail until configuration issue is solved · 6f7b21ec
  Daniel Le Berre authored Sep 22, 2017
  
  6f7b21ec
21 Sep, 2017 3 commits
- java 7 and 9 moved to test stage · ae79e089
  Daniel Le Berre authored Sep 21, 2017
  
  ae79e089
- moved artifacts building to ant image · d5130bd8
  Daniel Le Berre authored Sep 21, 2017
  
  d5130bd8
- Add Java 9 build. Provide jar, not maven artifacts, for direct download. · 3eca8128
  Daniel Le Berre authored Sep 21, 2017
  
  3eca8128