ArgoLib v.3.5 - Filip Maric, Predrag Janicic, june 2007.
==============================

Binary
==============================
This archive comes with both the binary an the source needed to 
build this binary. The binary name is src/ArgoLib

Howto run solver
==============================
As requested, a shell script called "run" is available. 
The script reads benchmarks from stdin and outputs sat or unsat to stdout. 

Ensure the executable flag for the files ./run and src/ArgoLib
chmod "+x" run
chmod "+x" src/ArgoLib

Run the solver with ./run
For Example:
./run < input_file


Howto rebuild the binary from source
==============================
This step has to be performed only if there are problems with the 
included binary.
Note: GNU Multiprecision arithmetic library (GNU GMP) has to be available on 
the target machine.

Make has to be performed in the src directory:

cd src
make
cd ..
