initiate release 4.10.15

chocoteam · Sep 9, 2024 · 1990489 · 1990489
1 parent 766f269
commit 1990489
Show file tree

Hide file tree

Showing 12 changed files with 14 additions and 14 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -4,7 +4,7 @@ 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.
 
-NEXT MILESTONE
+4.10.15 - 09 Sep 2024
 -------------------
 
 ### Major features:

diff --git a/LICENSE b/LICENSE
@@ -1,6 +1,6 @@
 BSD 4-Clause License
 
-Copyright (c) 2023, IMT Atlantique
+Copyright (c) 2024, IMT Atlantique
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without

diff --git a/README.md b/README.md
@@ -18,7 +18,7 @@
 
 Choco-solver is an open-source Java library for Constraint Programming.
 
-Current stable version is 4.10.14 (02 Nov 2023).
+Current stable version is 4.10.15 (09 Sep 2024).
 
 Choco-solver comes with:
 - various type of variables (integer, boolean, set, graph and real),
@@ -28,7 +28,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-2023, IMT Atlantique).
+Choco-solver is distributed under BSD 4-Clause License (Copyright (c) 1999-2024, IMT Atlantique).
 
 Contact:
 - [Choco-solver on Discord](https://discord.gg/aH6zxa7e64)
@@ -125,7 +125,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.14</version>
+   <version>4.10.15</version>
 </dependency>
 ```
 

diff --git a/examples/pom.xml b/examples/pom.xml
@@ -17,7 +17,7 @@
   <parent>
     <groupId>org.choco-solver</groupId>
     <artifactId>choco</artifactId>
-    <version>4.10.15-SNAPSHOT</version>
+    <version>4.10.15</version>
   </parent>
   <artifactId>examples</artifactId>
   <packaging>jar</packaging>

diff --git a/parsers/pom.xml b/parsers/pom.xml
@@ -17,7 +17,7 @@
     <parent>
         <groupId>org.choco-solver</groupId>
         <artifactId>choco</artifactId>
-        <version>4.10.15-SNAPSHOT</version>
+        <version>4.10.15</version>
     </parent>
     <artifactId>choco-parsers</artifactId>
     <packaging>jar</packaging>

diff --git a/parsers/src/main/java/org/chocosolver/parser/flatzinc/Flatzinc.java b/parsers/src/main/java/org/chocosolver/parser/flatzinc/Flatzinc.java
@@ -126,7 +126,7 @@ public Thread actionOnKill() {
     @Override
     public void createSolver() {
         if (level.isLoggable(Level.COMPET)) {
-            System.out.println("%% Choco 240709_14:18");
+            System.out.println("%% Choco 240909_14:08");
         }
         super.createSolver();
         datas = new Datas[nb_cores];

diff --git a/parsers/src/main/java/org/chocosolver/parser/xcsp/XCSP.java b/parsers/src/main/java/org/chocosolver/parser/xcsp/XCSP.java
@@ -70,7 +70,7 @@ public Thread actionOnKill() {
     public void createSolver() {
         super.createSolver();
         if (level.isLoggable(Level.COMPET)) {
-            System.out.println("c Choco 240709_14:18");
+            System.out.println("c Choco 240909_14:08");
         }
         String iname = Paths.get(instance).getFileName().toString();
         parsers = new XCSPParser[nb_cores];

diff --git a/parsers/src/main/minizinc/fzn-choco.py b/parsers/src/main/minizinc/fzn-choco.py
@@ -7,7 +7,7 @@
 import sys
 
 # THIS IS WHERE YOU NEED TO CHANGE THE PATH TO THE JAR FILE
-JAR_FILE= '/Users/kyzrsoze/Sources/CHOCO/continuous-branch/parsers/target/choco-parsers-4.10.15-SNAPSHOT-light.jar'
+JAR_FILE='~/.m2/repository/org/choco-solver/choco-parsers/4.10.15/choco-parsers-4.10.15-light.jar'
 
 JVM_ARGS = '-server -Xss64M -Xms2G -Xmx8G -XX:NewSize=512M'
 LOG_LEVEL = 'COMPET'

diff --git a/pom.xml b/pom.xml
@@ -15,7 +15,7 @@
     <modelVersion>4.0.0</modelVersion>
     <groupId>org.choco-solver</groupId>
     <artifactId>choco</artifactId>
-    <version>4.10.15-SNAPSHOT</version>
+    <version>4.10.15</version>
     <packaging>pom</packaging>
     <name>choco</name>
     <url>http://choco-solver.org/</url>

diff --git a/scripts/set_version.sh b/scripts/set_version.sh
@@ -45,7 +45,7 @@ then
 
     ## For MiniZinc
     sedInPlace "s%  \"version\": .*%  \"version\": \"$VERSION\",%"  ./parsers/src/main/minizinc/choco.msc
-    sedInPlace "s%CHOCO_JAR=~/.m2/.*%CHOCO_JAR=~/.m2/repository/org/choco-solver/choco-parsers/$VERSION/choco-parsers-$VERSION-light.jar%" ./parsers/src/main/minizinc/fzn-choco
+    sedInPlace "s%JAR_FILE=.*%JAR_FILE='~/.m2/repository/org/choco-solver/choco-parsers/$VERSION/choco-parsers-$VERSION-light.jar'%" ./parsers/src/main/minizinc/fzn-choco.py
 
     ## The CHANGES.md
     # replace the 'NEXT MILESTONE' version by VERSION

diff --git a/solver/pom.xml b/solver/pom.xml
@@ -17,7 +17,7 @@
     <parent>
         <groupId>org.choco-solver</groupId>
         <artifactId>choco</artifactId>
-        <version>4.10.15-SNAPSHOT</version>
+        <version>4.10.15</version>
     </parent>
     <artifactId>choco-solver</artifactId>
     <packaging>jar</packaging>

diff --git a/solver/src/main/java/org/chocosolver/solver/trace/IOutputFactory.java b/solver/src/main/java/org/chocosolver/solver/trace/IOutputFactory.java
@@ -40,7 +40,7 @@ public interface IOutputFactory extends ISelf<Solver> {
      * Default welcome message
      */
     String WELCOME_MESSAGE =
-        "** Choco 4.10.14 (2023-11) : Constraint Programming Solver, Copyright (c) 2010-2023";
+        "** Choco 4.10.15 (2024-09) : Constraint Programming Solver, Copyright (c) 2010-2024";
 
     /**
      * Print the version message.