diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/user.pod | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/doc/user.pod b/doc/user.pod index 832b92c9..a67a4ab9 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -168,6 +168,36 @@ A call C<isl_pw_aff_cond(a, b, c)> can be replaced by =back +=head1 License + +C<isl> is released under the MIT license. + +=over + +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. + +=back + +Note that C<isl> currently requires C<GMP>, which is released +under the GNU Lesser General Public License (LGPL). This means +that code linked against C<isl> is also linked against LGPL code. + =head1 Installation The source of C<isl> can be obtained either as a tarball |