Commits · master · SAT4J / sat4j · GitLab

22 Jul, 2022 3 commits
- fixed last release date · 21312f19
  Daniel Le Berre authored Jul 22, 2022
  
  21312f19
- added approximate creation and publication date in codemeta · 49198358
  Daniel Le Berre authored Jul 22, 2022
  
  49198358
- provide dual licensing info to codemeta · ef72f101
  Daniel Le Berre authored Jul 22, 2022
  
  ef72f101
21 Jul, 2022 3 commits
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · 459cb6ab
  Daniel Le Berre authored Jul 21, 2022
  
  459cb6ab
- First trial to describe the project with codemeta · b939a816
  Daniel Le Berre authored Jul 21, 2022
  
  b939a816
- Fixed wrong link to older releases · 0ef7bab3
  Daniel Le Berre authored Jul 21, 2022
  
  0ef7bab3
09 Apr, 2022 1 commit
- fix for Eclipse p2 bug #28 · 8461e372
  Daniel Le Berre authored Apr 09, 2022
  
  8461e372
13 Mar, 2022 8 commits
- Fixed a few more sonarqube violations · b7b13afe
  Daniel Le Berre authored Mar 13, 2022
  
  b7b13afe
- removed deprecated methods Reader.parseInstance() and Reader.decode() · f6815808
  Daniel Le Berre authored Mar 13, 2022
  
  f6815808
- removed deprecated methods ISolver.printStats() · 33b77655
  Daniel Le Berre authored Mar 13, 2022
  
  33b77655
- removed deprecated method IProblem.printInfos() · 2bbf7264
  Daniel Le Berre authored Mar 13, 2022
  
  2bbf7264
- create constant for repeated error message · df9025fe
  Daniel Le Berre authored Mar 13, 2022
  
  df9025fe
- Removed deprecated ICDCL.setLearner() and RestartStrategy.nextRestartNumberOfConflict() · 2ab7577d
  Daniel Le Berre authored Mar 13, 2022
  
  2ab7577d
- Removed deprecated ISolver.newVar() · 922a6d8a
  Daniel Le Berre authored Mar 13, 2022
  
  922a6d8a
- Using a constant for error messages · fa82e2e8
  Daniel Le Berre authored Mar 13, 2022
  
  fa82e2e8
09 Mar, 2022 8 commits
- Fix for createSolverByName() in core too. · 564208ab
  Daniel Le Berre authored Mar 09, 2022
  
  564208ab
- fix test case with Optional handling in createSolverByName(). · 881509a8
  Daniel Le Berre authored Mar 09, 2022
  
  881509a8
- With Romain and Manu, IVec is now Iterable · a5819919
  Daniel Le Berre authored Mar 09, 2022
  
  a5819919
- With Romain and Manu, a few more sonarqube violations · 6183de1e
  Daniel Le Berre authored Mar 09, 2022
  
  6183de1e
- With Romain and Manu, no more deprecated methods in IOptimizationProblem · 517ce890
  Daniel Le Berre authored Mar 09, 2022
  
  517ce890
- With Romain and Manu, corrected ASolverFactory · 62b304de
  Daniel Le Berre authored Mar 09, 2022
  
  62b304de
- Removed deprecared Constr.forwardActivity() · 7c6938bf
  Daniel Le Berre authored Mar 09, 2022
  
  7c6938bf
- Add @Override when overriding default methods · 584b3920
  Daniel Le Berre authored Mar 09, 2022
  
  584b3920
08 Mar, 2022 2 commits
- By default, no activity computed on constraints · 1357b084
  Daniel Le Berre authored Mar 08, 2022
  
  1357b084
- SearchListener uses default methods · 1271bdea
  Daniel Le Berre authored Mar 08, 2022
  
  1271bdea
07 Mar, 2022 1 commit
- fixed sonar violation in sat package · 2cdbf6c7
  Daniel Le Berre authored Mar 07, 2022
  
  2cdbf6c7
06 Mar, 2022 12 commits
- yet more sonarqube violations fixes for sat4j core · 028184de
  Daniel Le Berre authored Mar 06, 2022
  
  028184de
- more sonarqube violations fixes for sat4j core · bd5b5434
  Daniel Le Berre authored Mar 06, 2022
  
  bd5b5434
- LCDS now uses default methods. · b1ff349b
  Daniel Le Berre authored Mar 06, 2022
  
  b1ff349b
- PhaseSelectionStrategy now uses default methods. · 4379ff79
  Daniel Le Berre authored Mar 06, 2022
  
  4379ff79
- RestartStrategy now uses default methods. · a07617c0
  Daniel Le Berre authored Mar 06, 2022
  
  a07617c0
- fixed more sonarqube violatons in sat4j core (and pb factory) · bfc90c6e
  Daniel Le Berre authored Mar 06, 2022
  
  bfc90c6e
- update commons-cli to 1.5.0 for ant build · 8c5cdfe0
  Daniel Le Berre authored Mar 06, 2022
  
  8c5cdfe0
- fixed more sonarqube violatons in sat4j core · 324ec34e
  Daniel Le Berre authored Mar 06, 2022
  
  324ec34e
- fixed more sonarqube violatons (sat4j core done) · 86c4b46d
  Daniel Le Berre authored Mar 06, 2022
  
  86c4b46d
- removed commented configuration · ddc8fdbc
  Daniel Le Berre authored Mar 06, 2022
  
  ddc8fdbc
- fixed more sonarqube violatons (sat4j maxsat) · a6cb0916
  Daniel Le Berre authored Mar 06, 2022
  
  a6cb0916
- fixed more sonarqube violatons (minisat core package) · 45b9a78b
  Daniel Le Berre authored Mar 06, 2022
  
  45b9a78b
05 Mar, 2022 2 commits
- fixed more sonarqube violatons (cnf constraints) · e886eab3
  Daniel Le Berre authored Mar 05, 2022
  
  e886eab3
- maven 3.8.4 and Java 17 instead of 16 · c83a715f
  Daniel Le Berre authored Mar 05, 2022
  
  c83a715f