diff --git a/.github/workflows/CryptatorTest.yml b/.github/workflows/CryptatorTest.yml
index ab1fa23f..0b1ec971 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
diff --git a/README.org b/README.org
index 32c3cae5..6f6186c8 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 d588acd7..9db79022 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>
@@ -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>