Merge branch 'release-4.10.18'

Author: cprudhom

.github/workflows/codeql-analysis.yml

@@ -49,7 +49,7 @@ jobs:
 
     # Initializes the CodeQL tools for scanning.
     - name: Initialize CodeQL
-      uses: github/codeql-action/init@v1
+      uses: github/codeql-action/init@v2
       with:
         languages: ${{ matrix.language }}
         # If you wish to specify custom queries, you can do so here or in a config file.
@@ -60,7 +60,7 @@ jobs:
     # Autobuild attempts to build any compiled languages  (C/C++, C#, or Java).
     # If this step fails, then you should remove it and run the build manually (see below)
     - name: Autobuild
-      uses: github/codeql-action/autobuild@v1
+      uses: github/codeql-action/autobuild@v2
 
     # ℹ️ Command-line programs to run using the OS shell.
     # 📚 https://git.io/JvXDl
@@ -74,4 +74,4 @@ jobs:
     #   make release
 
     - name: Perform CodeQL Analysis
-      uses: github/codeql-action/analyze@v1
+      uses: github/codeql-action/analyze@v2

.github/workflows/publish-snapshot.yml

@@ -28,7 +28,7 @@ jobs:
           gpg-passphrase: MAVEN_GPG_PASSPHRASE
 
       - name: publish packages
-        run: mvn -P ossrhDeploy --batch-mode -DskipTests javadoc:aggregate-jar source:jar deploy
+        run: mvn -s scripts/settings.xml -P ossrhDeploy --batch-mode -DskipTests javadoc:aggregate-jar source:jar deploy
         env:
           MAVEN_USERNAME: ${{ secrets.OSS_SONATYPE_USERNAME }}
           MAVEN_PASSWORD: ${{ secrets.OSS_SONATYPE_PASSWORD }}

.lgtm.yml

@@ -4,6 +4,35 @@ Choco Solver ChangeLog
 This file is dedicated to sum up the new features added and bugs fixed in Choco-solver since the version, 4.0.0.
 **Note**: double-space is replaced by "\t" character on release process. Make sure the format is ok.
 
+4.10.18 - 27 Jan 2025
+---------------------
+
+### Major features:
+- Fix unexpected behaviour when using `neg()` intvar in arithm #1115
+- Fix bin packing initial propagation (#1113)
+- Fixed an error in `increasing` constraint documentation and updated `decreasing` constraint documentation (#1103)
+- 
+### Deprecated API (to be removed in next release):
+
+**Full Changelog**: https://github.com/chocoteam/choco-solver/compare/v4.10.17...v4.10.18
+
+4.10.17 - 23 Sep 2024
+ -------------------
+ 
+ ### Hotfix
+ - Fix bug in `PropHybridTable` (#1102)
+ 
+ **Full Changelog**: https://github.com/chocoteam/choco-solver/compare/v4.10.16...v4.10.17
+
+4.10.16 - 12 Sep 2024
+-------------------
+
+### Hotfix
+- Fix bug in `IntAffineView` (#1101)
+
+**Full Changelog**: https://github.com/chocoteam/choco-solver/compare/v4.10.15...v4.10.16
+
+
 4.10.17 - 23 Sep 2024
 -------------------
 

.travis.yml

@@ -1,6 +1,6 @@
 BSD 4-Clause License
 
-Copyright (c) 2024, IMT Atlantique
+Copyright (c) 2025, IMT Atlantique
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without

CHANGES.md

@@ -8,7 +8,6 @@
 
 ![Build](https://github.com/chocoteam/choco-solver/actions/workflows/maven-test.yml/badge.svg)
 [![codecov.io](https://codecov.io/github/chocoteam/choco-solver/coverage.svg?branch=master)](https://codecov.io/github/chocoteam/choco-solver?branch=master)
-[![Total alerts](https://img.shields.io/lgtm/alerts/g/chocoteam/choco-solver.svg?logo=lgtm&logoWidth=18)](https://lgtm.com/projects/g/chocoteam/choco-solver/alerts/)
 [![Codacy Badge](https://app.codacy.com/project/badge/Grade/f1bafa113f94486b96343d63782c0f7a)](https://www.codacy.com/gh/chocoteam/choco-solver/dashboard?utm_source=github.com&utm_medium=referral&utm_content=chocoteam/choco-solver&utm_campaign=Badge_Grade)
 
 
@@ -18,7 +17,7 @@
 
 Choco-solver is an open-source Java library for Constraint Programming.
 
-Current stable version is 4.10.17 (23 Sep 2024).
+Current stable version is 4.10.18 (27 Jan 2025).
 
 Choco-solver comes with:
 - various type of variables (integer, boolean, set, graph and real),
@@ -28,7 +27,7 @@ Choco-solver comes with:
 
 But also, facilities to interact with the search loop, factories to help modelling, many samples, etc.
 
-Choco-solver is distributed under BSD 4-Clause License (Copyright (c) 1999-2024, IMT Atlantique).
+Choco-solver is distributed under BSD 4-Clause License (Copyright (c) 1999-2025, IMT Atlantique).
 
 Contact:
 - [Choco-solver on Discord](https://discord.gg/aH6zxa7e64)
@@ -125,7 +124,7 @@ So you only have to edit your `pom.xml` to declare the following library depende
 <dependency>
    <groupId>org.choco-solver</groupId>
    <artifactId>choco-solver</artifactId>
-   <version>4.10.17</version>
+   <version>4.10.18</version>
 </dependency>
 ```
 

LICENSE

@@ -2,7 +2,7 @@
 
     This file is part of examples, http://choco-solver.org/
 
-    Copyright (c) 2024, IMT Atlantique. All rights reserved.
+    Copyright (c) 2025, IMT Atlantique. All rights reserved.
 
     Licensed under the BSD 4-clause license.
 
@@ -17,7 +17,7 @@
   <parent>
     <groupId>org.choco-solver</groupId>
     <artifactId>choco</artifactId>
-    <version>4.10.17</version>
+    <version>4.10.18</version>
   </parent>
   <artifactId>examples</artifactId>
   <packaging>jar</packaging>

README.md

@@ -1,7 +1,7 @@
 /*
  * This file is part of examples, http://choco-solver.org/
  *
- * Copyright (c) 2024, IMT Atlantique. All rights reserved.
+ * Copyright (c) 2025, IMT Atlantique. All rights reserved.
  *
  * Licensed under the BSD 4-clause license.
  *

examples/pom.xml

@@ -1,7 +1,7 @@
 /*
  * This file is part of examples, http://choco-solver.org/
  *
- * Copyright (c) 2024, IMT Atlantique. All rights reserved.
+ * Copyright (c) 2025, IMT Atlantique. All rights reserved.
  *
  * Licensed under the BSD 4-clause license.
  *