TVLA FRAMEWORK COPYRIGHT NOTICE, LICENSE AND DISCLAIMER.

Copyright 1999 by Tal Lev-Ami, Mooly Sagiv

Permission to use, copy, modify, and distribute this software and its
documentation for academic use only and without fee is hereby granted,
provided that the above copyright notice appear in all copies and that
both the copyright notice and this permission notice and warranty
disclaimer appear in supporting documentation.
Any other use of the software requires written prior permission from
the authors.

The authors and their employers disclaim all warranties with regard to 
this software, including all implied warranties of merchantability and 
fitness.  In no event shall the authors or their employers be liable 
for any special, indirect or consequential damages or any damages 
whatsoever resulting from loss of use, data or profits, whether in an 
action of contract, negligence or other tortious action, arising out of 
or in connection with the use or performance of this software.

The software contains the CPreProcessor package from IBM AlphaWorks which
can be distributed only for academic use.

Source code for a modified version of the JGraphT library is included,
and that source code is under the GNU Lesser General Public License.

As a convenience we include binaries from several other external libraries.
See the 'etc' directory for other license files.

   BeanShell (bsh.jar) 
                       GNU Lesser General Public License
                       http://www.beanshell.org

   Java CUP (java_cup.jar)
                       Standard ML of New Jersey License
                       http://www2.cs.tum.edu/projects/cup

   JLex (JLex.jar)
                       Standard ML of New Jersey License
                       https://www.cs.princeton.edu/~appel/modern/java/JLex/

   JUnit (junit.jar)
                       Eclipse Public License 1.0
                       https://github.com/junit-team/junit

   GNU Trove (trove-2.1.0.jar)
                       GNU Lesser General Public License
                       https://bitbucket.org/robeden/trove/