1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
|
This package was debianized by Paul van Tilburg <paulvt@debian.org> on
Wed, 16 Jan 2008 15:48:45 +0100.
It was downloaded from http://www.mcrl2.org/.
Upstream Authors:
* Jan Friso Groote <j.f.groote@tue.nl>,
* Jeroen Keiren <j.j.a.keiren@student.tue.nl>,
* Aad Mathijssen <a.h.j.mathijssen@tue.nl>,
* Simona Orzan <s.m.orzan@tue.nl>,
* Bas Ploeger <s.c.w.ploeger@tue.nl>,
* Frank Stappers <f.p.m.stappers@tue.nl>,
* Carst Tankink <c.tankink@student.tue.nl>,
* Yaroslav Usenko <y.s.usenko@tue.nl>,
* Muck van Weerdenburg <m.j.van.weerdenburg@tue.nl>,
* Wieger Wesselink <j.w.wesselink@tue.nl>,
* Jeroen van der Wulp <j.v.d.wulp@tue.nl>.
The following copyright holds for all files except the files found in the
3rd-party subdirectory (for which the copyright and license is given
below):
Copyright (C) 2005-2008 Eindhoven University of Technology
Boost Software License - Version 1.0 - August 17th, 2003
Permission is hereby granted, free of charge, to any person or
organization obtaining a copy of the software and accompanying
documentation covered by this license (the "Software") to use,
reproduce, display, distribute, execute, and transmit the Software, and
to prepare derivative works of the Software, and to permit
third-parties to whom the Software is furnished to do so, all subject
to the following:
The copyright notices in the Software and this entire statement,
including the above license grant, this restriction and the following
disclaimer, must be included in all copies of the Software, in whole or
in part, and all derivative works of the Software, unless such copies
or derivative works are solely in the form of machine-executable object
code generated by a source language processor.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, TITLE AND
NON-INFRINGEMENT. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR ANYONE
DISTRIBUTING THE SOFTWARE BE LIABLE FOR ANY DAMAGES OR OTHER LIABILITY,
WHETHER IN CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
---
The files in 3rd-party/aterm are Copyright (C) 2002-2007 CWI, except for
3rd-party/aterm/source/md5.* and 3rd-party/aterm/include/aterm/md5.h
which are Copyright (C) 1991-2, RSA Data Security, Inc.
The files are licensed and redistributed under the BSD license:
Copyright (c) The Regents of the University of California.
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
3. Neither the name of the University nor the names of its contributors
may be used to endorse or promote products derived from this software
without specific prior written permission.
THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
SUCH DAMAGE.
---
The files in 3rd-party/gl2ps are Copyright (C) 1999-2006 Christophe Geuzaine
and are licensed and redistributed under the GNU Library General Public
License, version 2 or any later version. On Debian systems, the complete
text of this license can be found in /usr/share/common-licenses/LGPL-2.
---
The files in 3rd-party/svc are Copyright (C) 2000 Stichting Mathematisch Centrum
and are licensed and redistributed under the GNU Lesser General Public
License, version 2.1 or any later version. On Debian systems, the complete
text of this license can be found in /usr/share/common-licenses/GPL-2.
---
The files 3rd-party/ticpp/*/ticpp* are (C) 2006 Ryan Pusztai, Ryan Mulder
and are licensed under the following license:
Permission is hereby granted, free of charge, to any person obtaining a
copy of this software and associated documentation files (the
"Software"), to deal in the Software without restriction, including
without limitation the rights to use, copy, modify, merge, publish,
distribute, sublicense, and/or sell copies of the Software, and to
permit persons to whom the Software is furnished to do so, subject to
the following conditions:
The above copyright notice and this permission notice shall be included
in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
The files 3rd-party/ticpp/*/tinyxml* are (C) 2000-2006 Lee Thomason
and are licensed under the following license:
This software is provided 'as-is', without any express or implied
warranty. In no event will the authors be held liable for any
damages arising from the use of this software.
Permission is granted to anyone to use this software for any
purpose, including commercial applications, and to alter it and
redistribute it freely, subject to the following restrictions:
1. The origin of this software must not be misrepresented; you must
not claim that you wrote the original software. If you use this
software in a product, an acknowledgment in the product documentation
would be appreciated but is not required.
2. Altered source versions must be plainly marked as such, and
must not be misrepresented as being the original software.
3. This notice may not be removed or altered from any source
distribution.
---
The files in 3rd-party/tr are Copyright (C) 1997 Brian Paul
and are licensed and redistributed under the GNU Library Public License,
version 2. On Debian systems, the complete text of this license can be
found in /usr/share/common-licenses/LGPL-2.
---
The Debian packaging is Copyright (C) 2008, Paul van Tilburg
and is licensed under the GPL. On Debian systems, the complete text of
this license can be found in /usr/share/common-licenses/GPL'.
|
