[technology-pmc] [CQ 22696] com.github.com-github-javabdd:com.github.jav

[emo-ip-team@xxxxxxxxxxx]

http://dev.eclipse.org/ipzilla/show_bug.cgi?id=22696





--- Comment #6 from Dennis Hendriks <dh_tue@xxxxxxxxxxx>  2020-10-14 03:20:26 ---
(In reply to comment #5)
> What is the nature of your use of this library? Is this required by end-users?
> i.e. if somebody consumes the Eclipse ESCET code, are they compelled to also
> consume this library?
> 
> I ask because the LGPL is not on our approved licenses list.

JavaBDD is "a Java library for manipulating BDDs (Binary Decision Diagrams).
Binary decision diagrams are widely used in model checking, formal
verification, optimizing circuit diagrams, etc."
(https://github.com/com-github-javabdd/com.github.javabdd)

We use this third party library without modifications. We use it to represent
models as BDDs to ensure efficiency when performing supervisory controller
synthesis, a key feature of our toolkit. The library is thus a
mandatory/required third party dependency of our supervisory controller
synthesis Eclipse plug-in and thus part of our Eclipse IDE-based product.

https://www.eclipse.org/legal/licenses.php indicates that "LGPL has been
approved by the Eclipse Board of Directors in certain cases". In Bug 551981 we
secured approval to use the MIT license for the Eclipse ESCET project. First we
got the following message: "the Board unanimously approves the request to have
the Eclipse Supervisory Control Toolkit licensed under the MIT License, subject
to the requirement that there be no third party dependencies which are licensed
under a copyleft license." (Our project has since gotten its final name
'Eclipse Supervisory Control Engineering Toolkit' or 'Eclipse ESCET'.) The
board was asked for clarification. We then got the message that "the Board
unanimously approves the request to have the Eclipse Supervisory Control
Toolkit licensed under the MIT License." This removed the earlier condition on
third party dependencies licensed under a copyleft license.


-- 
Configure CQmail: http://dev.eclipse.org/ipzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the CQ.