COPYRIGHT

Clp - LP model checker version 3.xx
Copyright (C) 2000-2002 by Victor Khomenko,
University of Newcastle upon Tyne, UK

On some OSes (e.g. on Linux), Clp uses the GNU C library,
Copyright (C) 1991-1993, 1995-1999, 2000 Free Software Foundation, Inc.
If it is the case for your OS, you should have received a 
copy of the GNU Library General Public License along with 
Clp; see the file COPYING.LIB.  If not, write to the 
Free Software Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA.


TERMS AND CONDITIONS 

This License Agreement applies only to the Clp linear programming
model checker, version 3.xx - the Software. The Software is owned and
licensed by the University of Newcastle upon Tyne, UK, Licensors.
Licensors grant to you, Licensee, a non-exclusive,
non-transferable license to use the Software without fee. Licensee may
distribute the Software to third parties provided that
all the files of the original distribution are included without changes.

The Software must be used only for research purposes. In particular, 
it must not be included as a part of any commercial software 
package or product without written permission of the Licensors. 

LICENSORS MAKE NO REPRESENTATIONS OR WARRANTIES ABOUT THE
SUITABILITY OF THE SOFTWARE, EITHER EXPRESS OR IMPLIED,
INCLUDING BUT NOT LIMITED TO THE IMPLIED WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, OR
NON-INFRINGEMENT. LICENSORS SHALL NOT BE LIABLE FOR ANY DAMAGES
SUFFERED EITHER BY LICENSEE OR BY THIRD PARTIES AS A RESULT OF
USE OR INABILITY TO USE, MODIFYING OR DISTRIBUTING THE 
SOFTWARE, EVEN IF THE LICENSORS HAVE BEEN ADVISED OF THE POSSIBILITY 
OF SUCH DAMAGES. THE SOFTWARE IS SUPPLIED AS IS, AND 
LICENSORS SHALL NOT PROVIDE MAINTENANCE OR USER-ASSISTANCE.

By downloading, using or copying the Software, Licensee
agrees to abide by the intellectual property laws and the terms
of this License. Ownership of the software shall remain solely
in Licensors.

Licensors shall have the right to terminate this license
immediately by written notice upon Licensee's breach of, or
non-compliance with, any of its terms. Licensee shall be liable
for any infringement or damages resulting from Licensee's
failure to abide by the terms of this License.