Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / config / README

diff --git a/JMCR-Stable/mcr-test/config/README b/JMCR-Stable/mcr-test/config/README
new file mode 100644 (file)
index 0000000..fd0ac5d
--- /dev/null
+++ b/JMCR-Stable/mcr-test/config/README
@@ -0,0 +1,9 @@
+HOW TO MODIFY THE JIGADM CONFIGURATION:
+
+ 2) create a temporary directory (ie jigadm)
+ 2) unzip jigadm.zip in this directory
+ 3) modify the configuration
+ 4) create another zip (in jigadm/ type 'zip -r -0 jigadm.zip *')
+ 5) replace the old jigadm.zip by the new one.
+
+Jigsaw Team.