Commits · 7f8cf6792d3b44f67d9a52d1ae762a50e20707e1 · SAT4J / sat4j · GitLab

16 Sep, 2018 6 commits
- Fixed a typo in the comments. · 7f8cf679
  Daniel Le Berre authored Sep 16, 2018
  
  7f8cf679
- Added fix for #145 suggested by Tobias. · 06c124de
  Daniel Le Berre authored Sep 16, 2018
  
  06c124de
- Fixed test case: the \ were doubly escaped. · 47918d1f
  Daniel Le Berre authored Sep 16, 2018
  
  47918d1f
- Add test case for #145 · a1dbd077
  Daniel Le Berre authored Sep 16, 2018
  
  a1dbd077
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git · e5a61a7f
  Daniel Le Berre authored Sep 16, 2018
  
  e5a61a7f
- Update JaCoCo to 0.8.2 to be compatible with Java 10 (thanks Tobias for the hint). · 7dcb4f62
  Daniel Le Berre authored Sep 16, 2018
  
  7dcb4f62
26 Aug, 2018 2 commits
- Allow MaxHS to be used on the command line of the maxsat solver (-hs · 3dfc50b4
  Daniel Le Berre authored Aug 27, 2018
```
option).
```
  3dfc50b4
- Added missing header. · ca8ba743
  Daniel Le Berre authored Aug 26, 2018
  
  ca8ba743
08 Jul, 2018 3 commits
- Increasing timeout for the test to proceed without breaking the build. · bd420df5
  Daniel Le Berre authored Jul 08, 2018
  
  bd420df5
- Remove comment in French · 3f17dba6
  Daniel Le Berre authored Jul 08, 2018
  
  3f17dba6
- Fix heuristics bumping (according to Armin's comments). · efcfea8c
  Daniel Le Berre authored Jul 08, 2018
  
  efcfea8c
02 Jul, 2018 1 commit
- No longer ignore maven compiler plugin to avoid issues such as moving to · e49f712a
  Daniel Le Berre authored Jul 02, 2018
```
photon
https://bugs.eclipse.org/bugs/show_bug.cgi?id=536558
```
  e49f712a
01 Jul, 2018 4 commits
- correct name for test file. · 359df068
  Daniel Le Berre authored Jul 01, 2018
  
  359df068
- Issue was #144 ... · 9f9c6dac
  Daniel Le Berre authored Jul 01, 2018
  
  9f9c6dac
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git · 8749c570
  Daniel Le Berre authored Jul 01, 2018
  
  8749c570
- Testcase for #143 . · b119c31e
  Daniel Le Berre authored Jul 01, 2018
  
  b119c31e
20 Jun, 2018 1 commit
- Corrects the size of the array representing an implicant · 2743478c
  Romain WALLON authored Jun 20, 2018
  
  2743478c
11 Mar, 2018 1 commit
- Relying on jdk 10 instead of 9 to fix certificat issue · 37faa28d
  Daniel Le Berre authored Mar 11, 2018
  
  37faa28d
10 Mar, 2018 2 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · c393a4f3
  Daniel Le Berre authored Mar 10, 2018
  
  c393a4f3
- update to maven 3.5.3 · 17fc54bc
  Daniel Le Berre authored Mar 10, 2018
  
  17fc54bc
01 Mar, 2018 2 commits
- Replaces a null return by the use of a tautology. · 8b426e08
  Romain WALLON authored Mar 01, 2018
  
  8b426e08
- Using NullObject for tautological PB constraints. · 1813cebb
  Daniel Le Berre authored Mar 01, 2018
  
  1813cebb
28 Feb, 2018 1 commit
- suppress createConflict definitions under-specified (with less than the · da498a78
  Anne Parrain authored Feb 28, 2018
```
8 parameters needed to create a ConflictMap instance)  
```
  da498a78
27 Feb, 2018 1 commit
- corrected a wrong call to createConflict · 4701c779
  Anne Parrain authored Feb 27, 2018
  
  4701c779
26 Feb, 2018 1 commit
- Fix javadoc and VecInt.remove(Integer) implementation. · 846d229e
  Daniel Le Berre authored Feb 26, 2018
  
  846d229e
17 Feb, 2018 1 commit
- Improve Javadoc. · 0dc06988
  Daniel Le Berre authored Feb 17, 2018
  
  0dc06988
08 Feb, 2018 1 commit
- Added new test case to prevent solvers without learning to pass. · 46291e4d
  Daniel Le Berre authored Feb 08, 2018
  
  46291e4d
04 Jan, 2018 1 commit
- Updated test case to make it really useful (thanks STAMP). · afab137a
  Daniel Le Berre authored Jan 04, 2018
  
  afab137a
20 Dec, 2017 2 commits
- Update README with link to nightly builds · 09e9173e
  Daniel Le Berre authored Dec 20, 2017
  
  09e9173e
- Removed xcsp libraries · af0a65fd
  Daniel Le Berre authored Dec 20, 2017
  
  af0a65fd
22 Nov, 2017 2 commits
- Cleans up unused constructors, methods and variables. · 53fc413b
  Romain WALLON authored Nov 22, 2017
  
  53fc413b
- Adds the possibility to choose whether obvious divisions should be applied automatically · 185a687f
  Romain WALLON authored Nov 22, 2017
  
  185a687f
21 Nov, 2017 2 commits
- Merge branch 'cherry-pick-d7168eec' into 'master' · 040fd01d
  Daniel Le Berre authored Nov 21, 2017
```
this gives a more honest version of 'no division'

See merge request !3
```
  040fd01d
- this gives a more honest version of 'no division' · 9feb2296
  Jan Elffers authored Nov 21, 2017
  
  9feb2296
20 Nov, 2017 6 commits
- fix a small issue in NaturalStaticOrder · 5b5b1a0a
  Jan Elffers authored Nov 20, 2017
  
  5b5b1a0a
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · a824372f
  Daniel Le Berre authored Nov 20, 2017
  
  a824372f
- Fix NPE on stats · 7159972b
  Daniel Le Berre authored Nov 20, 2017
  
  7159972b
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · 309f26f0
  Daniel Le Berre authored Nov 20, 2017
  
  309f26f0
- remove explain keyword · 2afe466e
  Daniel Le Berre authored Nov 20, 2017
  
  2afe466e
- Adds metrics about remaining assigned and unassigned literals · bbcddd9a
  Romain WALLON authored Nov 20, 2017
  
  bbcddd9a