ProM Package License

Copyright © 2018 TU/e

This ProM software is provided under the GNU Lesser General Public License ("L-GPL"), Version 2 or any later version, with an exception for AProMore, see below.

For those not familiar with the GNU L-GPL, the license basically allows you to:

  • Use this ProM software at no charge.
  • Allow you to develop applications that use this ProM software under other licenses and/or conditions as appropriate for your application, driver, or filter.
  • Distribute verbatim copies of the software in source or binary form.
  • Sell verbatim copies of the software for a media fee, or sell support for the software.

What this license does not allow you to do is make changes or add features to this ProM software and then sell a binary distribution without source code. You must provide source for any changes or additions to the software, and all code must be provided under the LGPL or GPL. The only exception to this are the portions of this ProM software covered by the AProMore license exception outlined next.

AProMore License Exception

As the copyright holder of this ProM software, TU/e explicitly allows the compilation and distribution of this ProM software with the AProMore software, provided that when and where (a part of) this ProM software is being executed in AProMore, the unscaled ProM logo: must be fully visible in AProMore and not visually obscured by other elements, and must link back to

No developer is required to provide this exception in a derived work.