Liberty Eiffel Licenses

Liberty Eiffel's development system is covered by multiple licenses:

• The tools are licensed under the GPLv3. See the COPYING file at the root of the project.

• Each library has its own license:

• Kernel libraries are licensed under the MIT-X11 license.
• Other "100% Eiffel" libraries are usually licensed under the MIT-X11 license.
• Wrapper libraries use the same license as the underlying library being wrapped

• The documentation in this wiki is licensed under GNU Free Documentation License