VSL Dependencies version 1.5

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

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

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

ANTLR v3.5.2 and v4.4
clj-ds v1.2
CVC3 v2.4.1 unstable release on 06/10/2014
CVC4 v1.4
GLPK v4.48 for osx, v4.45 for linux
GMP v5.1.2 for osx, v5.0.2 for linux
Hamcrest-core v1.3
Junit v4.11
PerfAnal
Pcollections v2.1.2
Z3 v4.3.2 unstable release on 05-26-2014

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.4 ========================
Add ANTLR v4.4, update ANTLR v3.4 to v3.5.2;
Update CVC3 to latest unstable version (release on 06/10/2014);
Update CVC4 to version 1.4;
Remove unused libraries: Jsr166y and PerfAnal.

