The software in this bundle is copyright (c) 2006 Jorge A. Baier.  

All rights are reserved. Use of this software is permitted for educational or
non-commercial research purposes, and it may be copied and modified only for
that use.  All copies must include this copyright message. This software and
any documentation and/or information supplied with it is distributed on an as
is basis. Jorge A. Baier and the University of Toronto make no warranties,
express or implied, including but not limited to implied warranties of
merchantability and fitness for a particular purpose, regarding the functions
or performance of such software, documentation and/or information.
