Copyright (c) 1994 Institute for Formal Methods in Software-Engineering,
		   University of Bremen, Germany

The interactive graph visualization system daVinci V1.4 (hereinafter refered 
to as "daVinci") was developed by the daVinci project at the Institute for 
Formal Methods in Software-Engineering, University of Bremen, Germany 
(hereinafter refered to as "daVinci project"). The daVinci project grants a 
"right to use" license of daVinci to any user of this software (hereinafter 
refered to as "licensee") for use under the following conditions:


******* IMPORTANT: **********************************************************
***     Please read this license carefully before using this software.    ***
***     By using, copying or redistributing daVinci, you accept and       ***
***     agree to become bound by the terms of this license. Please do     ***
***     not use this software, if you do not accept the terms of this     ***
***     license.                                                          ***	*****************************************************************************


-----------------------------------------------------------------------------
                             RIGHT TO USE LICENSE
-----------------------------------------------------------------------------

Permission to copy the system, to redistribute it, and to use it for any 
purpose is granted, subject to the following restrictions and understandings:

1.  daVinci is licensed free of charge for non-profit use. Any commercial
    exploitation of daVinci, as a standalone program, as a part of a more 
    comprehensive system or in any other constellation, is prohibitted by 
    this license. Please contact the daVinci project, if you are interested 
    in a commercial license of daVinci.

2.  Any copy made of daVinci must cover the complete distribution, as it was
    received by the licensee, especially including this license in full, the 
    complete documentation, all of the tools and examples.

3.  This license does not permit the licensee to alter, modify, improve,
    disassemble or reverse-engineer daVinci. Especially, the licensee shall 
    not remove any proprietary copyright legend from daVinci or any part 
    thereof. 
   
4.  Users of daVinci agree to make their best efforts to inform the daVinci 
    project of noteworthy uses of this system.
   
5.  The licensee has the right to include daVinci together with the rest
    of the daVinci distribution (refer to paragraph 2.) into other non-
    commercial works, but without any modification to the program code of 
    daVinci.

6.  All materials, developed as a consequence of daVinci, shall duly 
    acknowledge such use, in accordance with the usual standards of 
    acknowledging credit in academic research.
    
7.  The daVinci project makes no warranty or representation, either express
    or implied, for daVinci, including, but not limited to, the implied
    warranties of merchantability and fitness for a particular purpose. 
    The entire risk as to the functioning, faultless operation, quality,
    performance and effect on hardware or other software of daVinci is with 
    the licensee. Should daVinci prove defective, the licensee assumes the 
    cost of all necessary servicing, repair of correction.
    
8.  In no event, unless required by applicable law, will the daVinci project 
    be liable for any direct, indirect, special, incidental, or consequential, 
    damages arising out of the use of or inability to use daVinci, even if
    advised of the possibility of such damages. Specifically, the daVinci 
    project is not responsible for any costs including, but not limited to, 
    those incurred as a result of lost profits or revenue, loss of use of 
    the product, loss of data, the costs of recovering such software or 
    data, the cost of substitute software or data, claims by third parties 
    or for other similar costs.
    
9.  The daVinci project is under no obligation to provide any services, by 
    way of maintenance, consultation, update, or otherwise. 
   
10. In conjunction with products arising from the use of the system,
    there shall be no use of the name of the daVinci project, the Institute 
    for Formal Methods in Software-Engineering, the University of Bremen 
    nor of any adaptation thereof in any advertising, promotional, or
    sales literature without prior written consent from the daVinci project 
    in each case.
   
11. The licensee recognises that daVinci is released on a non-exclusive
    basis and the daVinci project shall have the exclusive right to grant
    licenses to others or to make such other use of daVinci as it shall
    desire.
    
12. This license is taking effect after using, copying or redistributing
    daVinci. By using, copying or redistributing daVinci, the licensee 
    accepts and agrees to become bound by the terms of this license.
 
To contact the daVinci project, please write by e-mail to: 
    daVinci@Informatik.Uni-Bremen.DE


Bremen, November 11, 1994
-- The daVinci project --
