diff --git a/README.md b/README.md index cbe4b5e51..2c9f1ecdf 100644 --- 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.16 (12 Sep 2024). +Current stable version is 4.10.17 (23 Sep 2024). Choco-solver comes with: - various type of variables (integer, boolean, set, graph and real), @@ -125,7 +125,7 @@ So you only have to edit your `pom.xml` to declare the following library depende org.choco-solver choco-solver - 4.10.16 + 4.10.17 ``` diff --git a/examples/pom.xml b/examples/pom.xml index 8f00ee554..af11d95f0 100644 --- a/examples/pom.xml +++ b/examples/pom.xml @@ -17,7 +17,7 @@ org.choco-solver choco - 4.10.16 + 4.10.17 examples jar diff --git a/parsers/pom.xml b/parsers/pom.xml index 7da18a232..6d0f6bd7d 100644 --- a/parsers/pom.xml +++ b/parsers/pom.xml @@ -17,7 +17,7 @@ org.choco-solver choco - 4.10.16 + 4.10.17 choco-parsers jar diff --git a/parsers/src/main/java/org/chocosolver/parser/flatzinc/Flatzinc.java b/parsers/src/main/java/org/chocosolver/parser/flatzinc/Flatzinc.java index a556cdba8..35af71b61 100644 --- 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 240912_11:16"); + System.out.println("%% Choco 240923_09:34"); } 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 index 4931528be..2497116ae 100644 --- 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 240912_11:16"); + System.out.println("c Choco 240923_09:34"); } 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 index 145b42099..cd931ec2c 100644 --- 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='~/.m2/repository/org/choco-solver/choco-parsers/4.10.16/choco-parsers-4.10.16-light.jar' +JAR_FILE='~/.m2/repository/org/choco-solver/choco-parsers/4.10.17/choco-parsers-4.10.17-light.jar' JVM_ARGS = '-server -Xss64M -Xms2G -Xmx8G -XX:NewSize=512M' LOG_LEVEL = 'COMPET' diff --git a/pom.xml b/pom.xml index bc8b14e59..c6a7d8cee 100644 --- a/pom.xml +++ b/pom.xml @@ -15,7 +15,7 @@ 4.0.0 org.choco-solver choco - 4.10.16 + 4.10.17 pom choco http://choco-solver.org/ diff --git a/solver/pom.xml b/solver/pom.xml index d5122ad4a..f3a5bfc83 100644 --- a/solver/pom.xml +++ b/solver/pom.xml @@ -17,7 +17,7 @@ org.choco-solver choco - 4.10.16 + 4.10.17 choco-solver jar diff --git a/solver/src/main/java/org/chocosolver/solver/trace/IOutputFactory.java b/solver/src/main/java/org/chocosolver/solver/trace/IOutputFactory.java index e6bca6f86..f35f99a4e 100644 --- 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 { * Default welcome message */ String WELCOME_MESSAGE = - "** Choco 4.10.16 (2024-09) : Constraint Programming Solver, Copyright (c) 2010-2024"; + "** Choco 4.10.17 (2024-09) : Constraint Programming Solver, Copyright (c) 2010-2024"; /** * Print the version message.