---------------------------- Installation ---------------------------

The following instruction assumes that Java 7 Runtime is installed.

1. This folder contains the following:

 - README   : this file
 - civl     : the script for running CIVL
 - provers  : containing the binary distrubition of CVC4 and Z3
 - lib      : containing civl-TAG.jar
 - doc      : containing the manual and the tutorial of CIVL
 - licenses : licenses for CIVL and included libraries

2. Install CVC4 and Z3. Follow instructions in ./provers.
You just need to ensure that each binary executable is 
in your PATH when you run "civl config".
    
3.  You can move the CIVL folder wherever you want. 
A quick way to install CIVL is to set up an environment variable
PATH_TO_CIVL_FOLDER and put the script "civl" in your PATH.

The JAR file in the lib directory is all you need to run CIVL.
You may also move this jar file wherever you want.   
For convenience you may use the shell script "civl".  Simply 
edit the civl script to reflect the path to civl-TAG.jar 
and place the script somewhere in your PATH.   

Alternatively, you can just define
an alias in your .profile, .bash_profile, or equivalent, such as

alias civl='java -Xms6144M -jar -Duser.home=$HOME -Djava.io.tmpdir=$TMPDIR /path/to/civl-TAG.jar'

In the following, we will assume that you have defined
a command "civl" in one these ways.

4. Type "civl config".  This should report that it found
the theorem provers you installed (and are in your PATH).
It should create a file called ".sarl" in your home directory
which you can also edit by hand.

