VSL Dependencies version 1.6

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

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

.\lib contains the following libraries:

ANTLR v3.5.2 and v4.4
Hamcrest-core v1.3
Junit v4.11
PerfAnal
CVC3

.\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.5 ========================
Clean up by removing unused libraries (cvc4, z3, clj-ds, pcollection, etc).

