[SAT Homepage]   SAT License Information

 Authors:   Kurt Hanner, R. Hörmanseder
 Copyright (c):   1999 - 2003 by the SAT team, all rights reserved
 Version:   BETA 1.01a
 WWW:   http://www.fim.uni-linz.ac.at/sat/
 Email:   sat@fim.uni-linz.ac.at


This End-User License Agreement ("EULA") is a legal agreement between you (either an individual or a single entity) and the mentioned author(s) of this Software for the software product identified above, which includes computer software and may include associated media, printed materials, and "online" or electronic documentation ("SOFTWARE PRODUCT").

By installing, copying, or otherwise using the SOFTWARE PRODUCT, you agree to be bound by the terms of this EULA.If you do not agree to the terms of this EULA, do not install or use the SOFTWARE PRODUCT.


The SOFTWARE PRODUCT is protected by copyright laws and international copyright treaties, as well as other intellectual property laws and treaties. The SOFTWARE PRODUCT is licensed, not sold.


This EULA grants you the following rights:

Installation and Use
You may install and use an unlimited number of copies of the SOFTWARE PRODUCT.

Reproduction and Distribution
You may reproduce and distribute an unlimited number of copies of the SOFTWARE PRODUCT; provided that each copy shall be a true and complete copy, including all copyright and trademark notices, and shall be accompanied by a copy of this EULA. There is no charge for any of the above.
You are specifically prohibited from charging, or requesting donations, for any such copies, however made; and from distributing the software with other commercial products without prior written permission. The SOFTWARE PRODUCT may not be sold or be included in a product or package which intends to receive benefits through the inclusion of the SOFTWARE PRODUCT.


Limitations on Reverse Engineering, Decompilation, and Disassembly
You may not reverse engineer, decompile, or disassemble the SOFTWARE PRODUCT, except and only to the extent that such activity is expressly permitted by applicable law notwithstanding this limitation.

Software Transfer
You may permanently transfer all of your rights under this EULA, provided the recipient agrees to the terms of this EULA.

Without prejudice to any other rights, the author(s) of this Software may terminate this EULA if you fail to comply with the terms and conditions of this EULA. In such event, you must destroy all copies of the SOFTWARE PRODUCT and all of its component parts.


All title and copyrights in and to the SOFTWARE PRODUCT, the accompanying printed materials, and any copies of the SOFTWARE PRODUCT are owned by the author(s) of this Software.
The SOFTWARE PRODUCT is protected by copyright laws and international treaty provisions. Therefore, you must treat the SOFTWARE PRODUCT like any other copyrighted material.


This agreement shall be governed by the laws of AUSTRIA.

Should you have any questions concerning this EULA, or if you desire to contact the author(s) of this Software for any reason, please contact him/her at the email address mentioned at the top of this EULA or write to his/her address (also mentioned at the top).


The Author(s) of this Software expressly disclaim(s) any warranty for the SOFTWARE PRODUCT. The SOFTWARE PRODUCT and any related documentation is provided "as is" without warranty of any kind, either express or implied, including, without limitation, the implied warranties or merchantability, fitness for a particular purpose, or noninfringement. The entire risk arising out of use or performance of the SOFTWARE PRODUCT remains with you.

In no event shall the author(s) of this Software be liable for any damages whatsoever (including, without limitation, damages for loss of business profits, business interruption, loss of business information, or any other pecuniary loss) arising out of the use of or inability to use this product, even if the author(s) of this Software has been advised of the possibility of such damages. Because some states/jurisdictions do not allow the exclusion or limitation of liability for consequential or incidental damages, the above limitation may not apply to you.

This version is a free BETA test version. Customers are strongly advised to test and use it within a special test environment only.


This is not completely free software. Subject to the terms above, you are hereby licensed to use this Software for evaluation purposes without any charge until the date shown by the software. Usage after this date is prohibited by the software. For an updated version with an extended expiration date, please see http://www.fim.uni-linz.ac.at/sat/.

Last modified 2003-06-30 by the SAT-Team.