diff options
Diffstat (limited to 'licenses/Mozart')
-rw-r--r-- | licenses/Mozart | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/licenses/Mozart b/licenses/Mozart deleted file mode 100644 index cb3c842ba..000000000 --- a/licenses/Mozart +++ /dev/null @@ -1,42 +0,0 @@ - License Agreement - for -Mozart, an implementation of Oz 3 ----------------------------------- - -This software and its documentation are copyrighted -by Saarland University, the Swedish Institute of -Computer Science (SICS), the German Research Center -for Artificial Intelligence (DFKI), and other -parties. The following terms apply to all files -associated with the software unless explicitly -disclaimed in individual files (see the file -LICENSE-others for a list of these exceptions). - -The authors hereby grant permission to use, copy, -modify, distribute, and license this software and -its documentation for any purpose, provided that -existing copyright notices are retained in all -copies and that this notice is included verbatim -in any distributions. No written agreement, -license, or royalty fee is required for any of the -authorized uses. Modifications to this software -may be copyrighted by their authors and need not -follow the licensing terms described here, -provided that the new terms are clearly indicated -on the first page of each file where they apply. - -IN NO EVENT SHALL THE AUTHORS OR DISTRIBUTORS BE -LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, -INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT -OF THE USE OF THIS SOFTWARE, ITS DOCUMENTATION, OR -ANY DERIVATIVES THEREOF, EVEN IF THE AUTHORS HAVE -BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. - -THE AUTHORS AND DISTRIBUTORS SPECIFICALLY DISCLAIM -ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR -A PARTICULAR PURPOSE, AND NON-INFRINGEMENT. THIS -SOFTWARE AND ITS DOCUMENTATION ARE PROVIDED ON AN -"AS IS" BASIS, AND THE AUTHORS AND DISTRIBUTORS -HAVE NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, -UPDATES, ENHANCEMENTS, OR MODIFICATIONS. |