4.1 License

First of all, it would be very kind to refer the following paper in any publication that result from the use of the CLooG software or its library, see Bas04 (a bibtex entry is provided behind the title page of this manual, along with copyright notice, and in the CLooG home http://www.CLooG.org.

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. http://www.gnu.org/licenses/lgpl-2.1.html

Note, though, that if you link CLooG against a GPL library such as the PolyLib backend, then the combination becomes GPL too. In particular, a CLooG library based on the PolyLib backend is GPL version 2 only. Since the isl backend is LGPL, linking against it does not affect the license of CLooG.

This document was generated on August 20, 2013 using texi2html 5.0.