Merge pull request #129 from arnaud-m/v0.6.0-beta

Release version 0.6.0

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.6.0-SNAPSHOT-with-dependencies.jar cryptator.Cryptator send+more=money
+   : java -cp target/cryptator-0.6.0-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.6.0-SNAPSHOT</version>
+    <version>0.6.0</version>
  </dependency>
  #+END_EXAMPLE
 

pom.xml

@@ -16,7 +16,7 @@
     <groupId>fr.univ-cotedazur</groupId>
     <artifactId>cryptator</artifactId>
     <packaging>jar</packaging>
-    <version>0.6.0-SNAPSHOT</version>
+    <version>0.6.0</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.6.0-SNAPSHOT-with-dependencies.jar .
+   ln -s ../../../target/cryptator-0.6.0-with-dependencies.jar .
  #+END_SRC
 
 ** Clear directories
@@ -54,7 +54,7 @@
 ** Create the solver
 
 #+BEGIN_SRC sh :tangle solver.sh
-JAR=cryptator-0.6.0-SNAPSHOT-with-dependencies.jar
+JAR=cryptator-0.6.0-with-dependencies.jar
 MAINCLASS=cryptator.Cryptagen
 
 MAINARGS=`cat $1 $2 | xargs`
@@ -95,7 +95,7 @@ exit $?
 ** Create the solver
 
 #+BEGIN_SRC sh :tangle solver.sh
-JAR=cryptator-0.6.0-SNAPSHOT-with-dependencies.jar
+JAR=cryptator-0.6.0-with-dependencies.jar
 MAINCLASS=cryptator.Cryptagen
 
 MAINARGS=`cat $1 $2 | xargs`
@@ -248,7 +248,7 @@ The word lists ~colors.txt~ and ~monsters.txt~ takes the most time by far (aroun
 *** Cryptator
 
 #+BEGIN_SRC sh :tangle solver.sh
-  JAR=cryptator-0.6.0-SNAPSHOT-with-dependencies.jar
+  JAR=cryptator-0.6.0-with-dependencies.jar
   MAINCLASS=cryptator.Cryptator
   MAINARGS=`cat $1 | xargs`
     ## exclude cryptarithm with long words

src/main/shell/demo-generate.sh

@@ -15,7 +15,7 @@ DIR="../words"
 ## Execute the command.
 ## Filter the output: print only the cryptarithm.
 function solve() {
-    java -cp $JAR cryptator.Cryptagen -c TRUE $* | sed -n 's/\(.*+.*=.*\)/  - \1/p'
+    java -cp $JAR cryptator.Cryptagen -c TRUE -v quiet $* | sed -n 's/\(.*+.*=.*\)/  - \1/p'
 }
 
 echo "# Search cryptarithms with a UNIQUE solution"

src/main/shell/generate-doubly-true.sh

@@ -18,7 +18,7 @@ MAX=100
 ## Execute the command.
 ## Filter the output: print only the cryptarithm.
 function solve() {
-    java -cp $JAR cryptator.Cryptagen -c TRUE $* | sed -n 's/\(.*+.*=.*\)/  - \1/p'
+    java -cp $JAR cryptator.Cryptagen -c TRUE -v quiet $* | sed -n 's/\(.*+.*=.*\)/  - \1/p'
 }
 
 echo "# Doubly true cryptarithms between $MIN and $MAX"