updates installation script

Author: ThanhVu (Vu) Nguyen

EXTERNAL_FILES/dot_sarl

@@ -1,7 +1,7 @@
 prover {
  aliases = z3;
  kind = Z3;
- version = "4.12.2 - 64 bit";
+ version = "4.12.6 - 64 bit";
  path = "/root/miniconda3/bin/z3";
  timeout = 10.0;
  showQueries = false;

README.md

@@ -62,14 +62,15 @@ $ root@b53e0bd86c11:/dig/src#
 # now you can run DIG -- the more CPUs/CORES your machine has, the faster DIG will run.  
 
 # run DIG on a trace file
-root@931ac8632c7f:/dig/src# time ~/miniconda3/bin/python3 -O dig.py  ../tests/traces/cohendiv.csv -log 4
+root@931ac8632c7f:/dig/src# time ~/miniconda3/bin/python3 -O dig.py  ../examples/traces/cohendiv.csv -log 4
 ...
 ...
 
 # or on a C program
 
 # FASTER: restrict nonlinear eqts to degree 2 and but don't generate inequalities or minmax invariants and 
 root@931ac8632c7f:/dig/src# time ~/miniconda3/bin/python3 -O dig.py  ../benchmark/c/nla/cohendiv.c -maxdeg 2 -noieqs -nominmax -log 4
+# If you have some error SARL expected version X but found Y, then edit ~/.sarl and change from X to Y
 
 # SLOWER: but gives everything
 root@931ac8632c7f:/dig/src# time ~/miniconda3/bin/python3 -O dig.py  ../benchmark/c/nla/cohendiv.c -log 4