update isl for normalization of isl_term_get_div result
[barvinok.git] / LICENSE
blobe58e6236e997cbcb9319de1324eac2c3007ea39d
1 GNU GENERAL PUBLIC LICENSE
3                              Version 2, June 1991
5 Copyright (C) 1989, 1991 Free Software Foundation, Inc. 675 Mass Ave,
6 Cambridge, MA 02139, USA. Everyone is permitted to copy and distribute verbatim
7 copies of this license document, but changing it is not allowed.
9                                    Preamble
11 The licenses for most software are designed to take away your freedom to share
12 and change it. By contrast, the GNU General Public License is intended to
13 guarantee your freedom to share and change free software--to make sure the
14 software is free for all its users. This General Public License applies to most
15 of the Free Software Foundation's software and to any other program whose
16 authors commit to using it. (Some other Free Software Foundation software is
17 covered by the GNU Library General Public License instead.) You can apply it to
18 your programs, too.
20 When we speak of free software, we are referring to freedom, not price. Our
21 General Public Licenses are designed to make sure that you have the freedom to
22 distribute copies of free software (and charge for this service if you wish),
23 that you receive source code or can get it if you want it, that you can change
24 the software or use pieces of it in new free programs; and that you know you
25 can do these things.
27 To protect your rights, we need to make restrictions that forbid anyone to deny
28 you these rights or to ask you to surrender the rights. These restrictions
29 translate to certain responsibilities for you if you distribute copies of the
30 software, or if you modify it.
32 For example, if you distribute copies of such a program, whether gratis or for
33 a fee, you must give the recipients all the rights that you have. You must make
34 sure that they, too, receive or can get the source code. And you must show them
35 these terms so they know their rights.
37 We protect your rights with two steps: (1) copyright the software, and (2)
38 offer you this license which gives you legal permission to copy, distribute
39 and/or modify the software.
41 Also, for each author's protection and ours, we want to make certain that
42 everyone understands that there is no warranty for this free software. If the
43 software is modified by someone else and passed on, we want its recipients to
44 know that what they have is not the original, so that any problems introduced
45 by others will not reflect on the original authors' reputations.
47 Finally, any free program is threatened constantly by software patents. We wish
48 to avoid the danger that redistributors of a free program will individually
49 obtain patent licenses, in effect making the program proprietary. To prevent
50 this, we have made it clear that any patent must be licensed for everyone's
51 free use or not licensed at all.
53 The precise terms and conditions for copying, distribution and modification
54 follow.
56                          GNU GENERAL PUBLIC LICENSE
57       TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
59 0. This License applies to any program or other work which contains a notice
60 placed by the copyright holder saying it may be distributed under the terms of
61 this General Public License. The "Program", below, refers to any such program
62 or work, and a "work based on the Program" means either the Program or any
63 derivative work under copyright law: that is to say, a work containing the
64 Program or a portion of it, either verbatim or with modifications and/or
65 translated into another language. (Hereinafter, translation is included without
66 limitation in the term "modification".) Each licensee is addressed as "you".
68 Activities other than copying, distribution and modification are not covered by
69 this License; they are outside its scope. The act of running the Program is not
70 restricted, and the output from the Program is covered only if its contents
71 constitute a work based on the Program (independent of having been made by
72 running the Program). Whether that is true depends on what the Program does.
74 1. You may copy and distribute verbatim copies of the Program's source code as
75 you receive it, in any medium, provided that you conspicuously and
76 appropriately publish on each copy an appropriate copyright notice and
77 disclaimer of warranty; keep intact all the notices that refer to this License
78 and to the absence of any warranty; and give any other recipients of the
79 Program a copy of this License along with the Program.
81 You may charge a fee for the physical act of transferring a copy, and you may
82 at your option offer warranty protection in exchange for a fee.
84 2. You may modify your copy or copies of the Program or any portion of it, thus
85 forming a work based on the Program, and copy and distribute such modifications
86 or work under the terms of Section 1 above, provided that you also meet all of
87 these conditions:
89 a) You must cause the modified files to carry prominent notices stating that
90 you changed the files and the date of any change.
92 b) You must cause any work that you distribute or publish, that in whole or in
93 part contains or is derived from the Program or any part thereof, to be
94 licensed as a whole at no charge to all third parties under the terms of this
95 License.
97 c) If the modified program normally reads commands interactively when run, you
98 must cause it, when started running for such interactive use in the most
99 ordinary way, to print or display an announcement including an appropriate
100 copyright notice and a notice that there is no warranty (or else, saying that
101 you provide a warranty) and that users may redistribute the program under these
102 conditions, and telling the user how to view a copy of this License.
103 (Exception: if the Program itself is interactive but does not normally print
104 such an announcement, your work based on the Program is not required to print
105 an announcement.)
107 These requirements apply to the modified work as a whole. If identifiable
108 sections of that work are not derived from the Program, and can be reasonably
109 considered independent and separate works in themselves, then this License, and
110 its terms, do not apply to those sections when you distribute them as separate
111 works. But when you distribute the same sections as part of a whole which is a
112 work based on the Program, the distribution of the whole must be on the terms
113 of this License, whose permissions for other licensees extend to the entire
114 whole, and thus to each and every part regardless of who wrote it.
116 Thus, it is not the intent of this section to claim rights or contest your
117 rights to work written entirely by you; rather, the intent is to exercise the
118 right to control the distribution of derivative or collective works based on
119 the Program.
121 In addition, mere aggregation of another work not based on the Program with the
122 Program (or with a work based on the Program) on a volume of a storage or
123 distribution medium does not bring the other work under the scope of this
124 License.
126 3. You may copy and distribute the Program (or a work based on it, under
127 Section 2) in object code or executable form under the terms of Sections 1 and
128 2 above provided that you also do one of the following:
130 a) Accompany it with the complete corresponding machine-readable source code,
131 which must be distributed under the terms of Sections 1 and 2 above on a medium
132 customarily used for software interchange; or,
134 b) Accompany it with a written offer, valid for at least three years, to give
135 any third party, for a charge no more than your cost of physically performing
136 source distribution, a complete machine-readable copy of the corresponding
137 source code, to be distributed under the terms of Sections 1 and 2 above on a
138 medium customarily used for software interchange; or,
140 c) Accompany it with the information you received as to the offer to distribute
141 corresponding source code. (This alternative is allowed only for noncommercial
142 distribution and only if you received the program in object code or executable
143 form with such an offer, in accord with Subsection b above.)
145 The source code for a work means the preferred form of the work for making
146 modifications to it. For an executable work, complete source code means all the
147 source code for all modules it contains, plus any associated interface
148 definition files, plus the scripts used to control compilation and installation
149 of the executable. However, as a special exception, the source code distributed
150 need not include anything that is normally distributed (in either source or
151 binary form) with the major components (compiler, kernel, and so on) of the
152 operating system on which the executable runs, unless that component itself
153 accompanies the executable.
155 If distribution of executable or object code is made by offering access to copy
156 from a designated place, then offering equivalent access to copy the source
157 code from the same place counts as distribution of the source code, even though
158 third parties are not compelled to copy the source along with the object code.
160 4. You may not copy, modify, sublicense, or distribute the Program except as
161 expressly provided under this License. Any attempt otherwise to copy, modify,
162 sublicense or distribute the Program is void, and will automatically terminate
163 your rights under this License. However, parties who have received copies, or
164 rights, from you under this License will not have their licenses terminated so
165 long as such parties remain in full compliance.
167 5. You are not required to accept this License, since you have not signed it.
168 However, nothing else grants you permission to modify or distribute the Program
169 or its derivative works. These actions are prohibited by law if you do not
170 accept this License. Therefore, by modifying or distributing the Program (or
171 any work based on the Program), you indicate your acceptance of this License to
172 do so, and all its terms and conditions for copying, distributing or modifying
173 the Program or works based on it.
175 6. Each time you redistribute the Program (or any work based on the Program),
176 the recipient automatically receives a license from the original licensor to
177 copy, distribute or modify the Program subject to these terms and conditions.
178 You may not impose any further restrictions on the recipients' exercise of the
179 rights granted herein. You are not responsible for enforcing compliance by
180 third parties to this License.
182 7. If, as a consequence of a court judgment or allegation of patent
183 infringement or for any other reason (not limited to patent issues), conditions
184 are imposed on you (whether by court order, agreement or otherwise) that
185 contradict the conditions of this License, they do not excuse you from the
186 conditions of this License. If you cannot distribute so as to satisfy
187 simultaneously your obligations under this License and any other pertinent
188 obligations, then as a consequence you may not distribute the Program at all.
189 For example, if a patent license would not permit royalty-free redistribution
190 of the Program by all those who receive copies directly or indirectly through
191 you, then the only way you could satisfy both it and this License would be to
192 refrain entirely from distribution of the Program.
194 If any portion of this section is held invalid or unenforceable under any
195 particular circumstance, the balance of the section is intended to apply and
196 the section as a whole is intended to apply in other circumstances.
198 It is not the purpose of this section to induce you to infringe any patents or
199 other property right claims or to contest validity of any such claims; this
200 section has the sole purpose of protecting the integrity of the free software
201 distribution system, which is implemented by public license practices. Many
202 people have made generous contributions to the wide range of software
203 distributed through that system in reliance on consistent application of that
204 system; it is up to the author/donor to decide if he or she is willing to
205 distribute software through any other system and a licensee cannot impose that
206 choice.
208 This section is intended to make thoroughly clear what is believed to be a
209 consequence of the rest of this License.
211 8. If the distribution and/or use of the Program is restricted in certain
212 countries either by patents or by copyrighted interfaces, the original
213 copyright holder who places the Program under this License may add an explicit
214 geographical distribution limitation excluding those countries, so that
215 distribution is permitted only in or among countries not thus excluded. In such
216 case, this License incorporates the limitation as if written in the body of
217 this License.
219 9. The Free Software Foundation may publish revised and/or new versions of the
220 General Public License from time to time. Such new versions will be similar in
221 spirit to the present version, but may differ in detail to address new problems
222 or concerns.
224 Each version is given a distinguishing version number. If the Program specifies
225 a version number of this License which applies to it and "any later version",
226 you have the option of following the terms and conditions either of that
227 version or of any later version published by the Free Software Foundation. If
228 the Program does not specify a version number of this License, you may choose
229 any version ever published by the Free Software Foundation.
231 10. If you wish to incorporate parts of the Program into other free programs
232 whose distribution conditions are different, write to the author to ask for
233 permission. For software which is copyrighted by the Free Software Foundation,
234 write to the Free Software Foundation; we sometimes make exceptions for this.
235 Our decision will be guided by the two goals of preserving the free status of
236 all derivatives of our free software and of promoting the sharing and reuse of
237 software generally.
239                                  NO WARRANTY
241 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY FOR
242 THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN OTHERWISE
243 STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE
244 PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED,
245 INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
246 FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND
247 PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE,
248 YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION.
250 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING WILL
251 ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR REDISTRIBUTE
252 THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY
253 GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE
254 OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR
255 DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR
256 A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF SUCH
257 HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
259                         END OF TERMS AND CONDITIONS