The archives in this page are VSL dependencies v1.3 for various platforms:

vsl_linux32-1.3.tgz     - for 32-bit linux 
vsl_linux64-1.3.tgz     - for 64-bit linux 
vsl_osx64-1.3.tgz       - for 64-bit mac os 

=========================== Overview ===========================

This distribution contains all the dependencies for ABC, CIVL and SARL and is organized as follows.

.\lib contains java libraries and dynamic libraries, which are listed in the following:

ANTLR v3.4
clj-ds v1.2
CVC3 v2.4.1
CVC4 v1.2
GLPK v4.48 for osx, v4.45 for linux
GMP v5.1.2 for osx, v5.0.2 for linux
Hamcrest-core v1.3
Jsr166y
Junit v4.11
PerfAnal
Pcollections v2.1.2

Note: the instructions for building CVC3 and CVC4 from source could be found later in this document.

.\licenses contains the licenses for each library in .\lib.

.\src contains java source code for some of the libraries in .\lib and is included here for debugging purposes.


======================= Change from version 1.2 ========================
Add the source jar file for antlr-runtime-3.4.

======================= Installation Instructions ========================
1. Download the archive of VSL dependencies from
http://vsl.cis.udel.edu/tools/vsl_depend, 
choosing the version for your OS type (32-bit linux, 64-bit linux, or 64-bit OS X).  
2. Unzip and untar the downloaded .tgz file and you will get a folder named "vsl".
3. If you do not already have a directory "/opt", create one with
"mkdir /opt". Move vsl into /opt.  Use sudo as needed.
4. You can put "vsl" to anywhere you like, but you will need to make
appropirate changes in the configuration of the tool/project that are
using VSL dependencies.