License

License

Ultimate consists of many plugins, all of whom are licensed under LGPLv3 with a custom linking exception unless noted on this page. We use several libraries that are compatible with LGPLv3 and list them in the following.

Libraries

Library	License	Compatibility	Status
Eclipse / OSGI	EPL	Not compatible with GPL, but we only link and can add an exception clause.	Used
log4j	Apache 2.0 (included in jar-file)	Compatible to LGPLv3	Used
Modified JavaCup	? (Original)	?	Used
JUNG	Modified BSD License	Compatible to LGPLv3	Used
Apache Batik	Apache 2.0 (included in all jar-files)	Compatible to LGPLv3	Used
Apache Commons Collections	Apache 2.0 (included in all jar-files)	Compatible to LGPLv3	Used
Apache Xerces	Apache 2.0 (included in all jar-files)	Compatible to LGPLv3	Used
Xalan	Apache 2.0	Compatible to LGPLv3	?
Mozilla Rhino	MPL/GPL 2.0 (only js.jar)	?	?
Petruchio	?	?	?
PEA	GPL	?	?
CZT (Community Z Tools)	Modified BSD License	Compatible to LGPLv3	Used
Ace	?	?	Only in web interface (not distributed)
JSTL	CDDL and GPLv2	?	?, but if then only in web interface (not distributed)
JSON	?	?	?, but if then only in web interface (not distributed)
SMTInterpol	LGPLv3	Compatible to LGPLv3	Used
ojAlgo	MIT License	Compatible to LGPLv3	Currently unused and not distributed
Apache commons Lang	?	?	?
JavaBDD	?	?	?
log4j2	Apache 2.0 (included in jar-file)	Compatible to LGPLv3	Currently unused and not distributed
Disruptor	?	?	?

Binaries

Name	License	Compatibility	Status
Z3	MIT License	Redistributable	Used
MathSAT	Custom	?	Used
CVC4	Custom	?	Used
ltl2aut	?	?	?