From 5b779c288f8ebcd69e95cb6b143b6285d9ecb0a0 Mon Sep 17 00:00:00 2001
From: Arnaud <arnaud.malapert@univ-cotedazur.fr>
Date: Thu, 14 May 2026 14:23:15 +0200
Subject: [PATCH 1/3] bump version number

---
 README.org | 2 +-
 pom.xml    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.org b/README.org
index 32c3cae..6f6186c 100644
--- a/README.org
+++ b/README.org
@@ -73,7 +73,7 @@ Each letter represents a digit, and the goal is to reconstruct the original arit
  <dependency>
     <groupId>fr.univ-cotedazur</groupId>
     <artifactId>cryptator</artifactId>
-    <version>1.0.2</version>
+    <version>2.0.0-SNAPSHOT</version>
  </dependency>
  #+END_EXAMPLE
 
diff --git a/pom.xml b/pom.xml
index d588acd..748e8cb 100644
--- a/pom.xml
+++ b/pom.xml
@@ -16,7 +16,7 @@
     <groupId>fr.univ-cotedazur</groupId>
     <artifactId>cryptator</artifactId>
     <packaging>jar</packaging>
-    <version>1.0.2</version>
+    <version>2.0.0-SNAPSHOT</version>
     <name>cryptator</name>
     <description>Constraint-based cryptarithm solver</description>
     <url>https://github.com/arnaud-m/cryptator</url>

From 20cef54f4e26dd606d704fc426664e7cec177f7c Mon Sep 17 00:00:00 2001
From: Arnaud <arnaud.malapert@univ-cotedazur.fr>
Date: Thu, 14 May 2026 14:40:11 +0200
Subject: [PATCH 2/3] bump java from 11 to 17 and choco-solver to 6.0.0

---
 pom.xml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/pom.xml b/pom.xml
index 748e8cb..9db7902 100644
--- a/pom.xml
+++ b/pom.xml
@@ -50,8 +50,8 @@
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
         <maven.build.timestamp.format>yyyy</maven.build.timestamp.format>
         <!-- Java source/target to use for compilation. -->
-        <javac.target>11</javac.target>
-        <javac.source>11</javac.source>
+        <javac.target>17</javac.target>
+        <javac.source>17</javac.source>
     </properties>
     <dependencies>
         <!-- https://mvnrepository.com/artifact/args4j/args4j -->
@@ -79,7 +79,7 @@
         <dependency>
             <groupId>org.choco-solver</groupId>
             <artifactId>choco-solver</artifactId>
-            <version>4.10.18</version>
+            <version>6.0.0</version>
         </dependency>
         <dependency>
             <groupId>guru.nidi</groupId>
@@ -126,11 +126,11 @@
                     <!-- Only required when JAVA_HOME isn't at least Java 9 and when haven't
                         configured the maven-toolchains-plugin -->
                     <jdkToolchain>
-                        <version>11</version>
+                        <version>17</version>
                     </jdkToolchain>
-                    <release>11</release>
-                    <source>11</source>
-                    <target>11</target>
+                    <release>17</release>
+                    <source>17</source>
+                    <target>17</target>
                 </configuration>
             </plugin>
             <plugin>

From a8345e77eea65815faae70553ff462fa3f4a26c7 Mon Sep 17 00:00:00 2001
From: Arnaud <arnaud.malapert@univ-cotedazur.fr>
Date: Thu, 14 May 2026 14:48:53 +0200
Subject: [PATCH 3/3] update github action to java 17

---
 .github/workflows/CryptatorTest.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/CryptatorTest.yml b/.github/workflows/CryptatorTest.yml
index ab1fa23..0b1ec97 100644
--- a/.github/workflows/CryptatorTest.yml
+++ b/.github/workflows/CryptatorTest.yml
@@ -6,10 +6,10 @@ jobs :
   steps:
    - name: Checkout the repository
      uses: actions/checkout@v3
-   - name: Set up JDK 11
+   - name: Set up JDK 17
      uses: actions/setup-java@v3
      with:
-      java-version: '11'
+      java-version: '17'
       distribution: 'adopt'
       cache: 'maven'
    - name: Cache local Maven repository