initiate release 4.0.7

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.0.7 - 19 Jul 2018
 -------------------
 
 **JAR file names have changed**:  

LICENSE

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

README.md

@@ -16,7 +16,7 @@
 
 Choco-solver is an open-source Java library for Constraint Programming.
 
-Current stable version is 4.0.6 (23 Nov 2017).
+Current stable version is 4.0.7 (19 Jul 2018).
 
 Choco-solver comes with:
 - various type of variables (integer, boolean, set, graph and real),
@@ -26,7 +26,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-2017, Ecole des Mines de Nantes).
+Choco-solver is distributed under BSD 4-Clause License (Copyright (c) 1999-2018, Ecole des Mines de Nantes).
 
 Contact: [[email protected]](mailto:[email protected]?subject=[choco]contact)
 
@@ -56,7 +56,7 @@ solver.printStatistics();
 ## Documentation, Support and Issues
 
 The [latest release](https://github.com/chocoteam/choco-solver/releases/latest) points to a 
-[tarball](https://github.com/chocoteam/choco-solver/releases/download/4.0.6/choco-4.0.6.zip) which contains
+[tarball](https://github.com/chocoteam/choco-solver/releases/download/4.0.7/choco-4.0.7.zip) which contains
 the binary, the source code, the user guide (pdf) and the apidocs (zip).
 
 You can get help on our [google group](https://groups.google.com/forum/#!forum/choco-solver).
@@ -125,7 +125,7 @@ In the following, we distinguish two usages of Choco:
 - as a standalone application: the jar file includes all required dependencies,
 - as a library: the jar file excludes all dependencies.
 
-The name of the jar file terms the packaging: `choco-solver-4.0.6.jar` or `choco-solver-4.0.6-no-dep.jar`.
+The name of the jar file terms the packaging: `choco-solver-4.0.7.jar` or `choco-solver-4.0.7-no-dep.jar`.
 
 A [Changelog file](./CHANGES.md) is maintained for each release.
 
@@ -138,7 +138,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.0.6</version>
+   <version>4.0.7</version>
 </dependency>
 ```
 

pom.xml

@@ -15,7 +15,7 @@
     <groupId>org.choco-solver</groupId>
     <artifactId>choco-solver</artifactId>
     <packaging>jar</packaging>
-    <version>4.0.7-SNAPSHOT</version>
+    <version>4.0.7</version>
     <name>Choco-${project.version}: an Open-Source Constraint Solver</name>
     <url>http://choco-solver.org/</url>
     <description>Choco is a Free and Open-Source Software dedicated to Constraint Programming.

src/sphinx/source/3_solving.rst

@@ -369,7 +369,7 @@ On a call to ``solver.printVersion()``, the following message will be printed:
 
 .. code-block:: none
 
-    ** Choco 4.0.6 (2017-11) : Constraint Programming Solver, Copyright (c) 2010-2017
+    ** Choco 4.0.7 (2018-07) : Constraint Programming Solver, Copyright (c) 2010-2018
 
 On a call to ``solver.printStatistics()``, the following message will be printed:
 

src/sphinx/source/conf.py

@@ -47,7 +47,7 @@
 
 # General information about the project.
 project = u'ChocoSolver'
-copyright = u'2017, Jean-Guillaume Fages, Xavier Lorca, Charles Prud\'homme'
+copyright = u'2018, Jean-Guillaume Fages, Xavier Lorca, Charles Prud\'homme'
 
 # The version info for the project you're documenting, acts as replacement for
 # |version| and |release|, also used in various other places throughout the
@@ -56,7 +56,7 @@
 # The short X.Y version.
 version = '4'
 # The full version, including alpha/beta/rc tags.
-release = '4.0.6'
+release = '4.0.7'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
@@ -181,7 +181,7 @@
 #html_show_sphinx = True
 
 # If true, "(C) Copyright ..." is shown in the HTML footer. Default is True.
-#html_show_copyright = u'2017, Jean-Guillaume Fages, Xavier Lorca, Charles Prud\'homme'
+#html_show_copyright = u'2018, Jean-Guillaume Fages, Xavier Lorca, Charles Prud\'homme'
 
 # If true, an OpenSearch description file will be output, and all pages will
 # contain a <link> tag referring to it.  The value of this option must be the