bump version number

Author: arnaud-m

README.org

@@ -41,7 +41,7 @@ It is based on [[https://github.com/chocoteam/choco-solver][choco-solver]] which
 
    The jar file contains all required dependencies.
    The next step is simply to run the console application.
-   : java -cp target/cryptator-0.5.1-SNAPSHOT-with-dependencies.jar cryptator.Cryptator send+more=money
+   : java -cp target/cryptator-0.5.1-with-dependencies.jar cryptator.Cryptator send+more=money
 
    There are three console applications and the links below point to demonstration scripts.
 
@@ -66,7 +66,7 @@ It is based on [[https://github.com/chocoteam/choco-solver][choco-solver]] which
  <dependency>
     <groupId>fr.univ-cotedazur</groupId>
     <artifactId>cryptator</artifactId>
-    <version>0.5.1-SNAPSHOT</version>
+    <version>0.5.1</version>
  </dependency>
  #+END_EXAMPLE
 

pom.xml

@@ -16,7 +16,7 @@
     <groupId>fr.univ-cotedazur</groupId>
     <artifactId>cryptator</artifactId>
     <packaging>jar</packaging>
-    <version>0.5.1-SNAPSHOT</version>
+    <version>0.5.1</version>
     <name>cryptator</name>
     <description>Constraint-based cryptarithm solver</description>
     <url>https://github.com/arnaud-m/cryptator</url>

src/main/benchmarks/README.org

@@ -12,7 +12,7 @@
 
 #+BEGIN_SRC sh :results silent
    ln -s ../words .
-   ln -s ../../../target/cryptator-0.5.1-SNAPSHOT-with-dependencies.jar .
+   ln -s ../../../target/cryptator-0.5.1-with-dependencies.jar .
  #+END_SRC
 
 ** Clear directories
@@ -55,7 +55,7 @@
 ** Create the solver
 
 #+BEGIN_SRC sh :tangle solver.sh
-JAR=cryptator-0.5.1-SNAPSHOT-with-dependencies.jar
+JAR=cryptator-0.5.1-with-dependencies.jar
 MAINCLASS=cryptator.Cryptagen
 
 MAINARGS=`cat $1 $2 | xargs`
@@ -97,7 +97,7 @@ exit $?
 ** Create the solver
 
 #+BEGIN_SRC sh :tangle solver.sh
-JAR=cryptator-0.5.1-SNAPSHOT-with-dependencies.jar
+JAR=cryptator-0.5.1-with-dependencies.jar
 MAINCLASS=cryptator.Cryptagen
 
 MAINARGS=`cat $1 $2 | xargs`
@@ -160,7 +160,7 @@ The word lists ~colors.txt~ and ~monsters.txt~ takes the most time by far (aroun
 ** Create the solver
 
 #+BEGIN_SRC sh :tangle solver.sh
-  JAR=cryptator-0.5.1-SNAPSHOT-with-dependencies.jar
+  JAR=cryptator-0.5.1-with-dependencies.jar
   MAINCLASS=cryptator.Cryptator
 
   MAINARGS=`cat $1 | xargs`