# INSTALLING

Unpack the archive on your computer. Add the `lib` directory to your
runtime library path, e.g., using

    export LD_LIBRARY_PATH=$CVC3_HOME/lib:$LD_LIBRARY_PATH

where `CVC3_HOME` is the directory where you unpacked the archive.
Add the `bin` directory to your runtime executable path, e.g.,

    export PATH=$CVC3_HOME/bin:$PATH

You should now be able to run `cvc3` from the command line without
error.

# USING

To compile with the CVC3 library, make sure that `lib` is in your
compiler's library path. If you are using the CVC3 Java library, you
must also add the file `java/libcvc3-$VERSION.jar` to your classpath
and, at runtime, the `lib` directory to your `java.library.path`,
e.g.,

    java -Djava.library.path=$CVC3_HOME/lib -cp $CVC3_HOME/java/libcvc3-$VERSION.jar

where `VERSION` is the version number of the CVC3 Java library.
