About This Content

February 16, 2023

License

The Eclipse Foundation makes available all content in this plug-in ("Content"). Unless otherwise indicated below, the Content is provided to you under the terms and conditions of the MIT License. A copy of the MIT License is available at https://opensource.org/licenses/MIT. For purposes of the MIT License, "Software" will mean the Content.

If you did not receive this Content directly from the Eclipse Foundation, the Content is being redistributed by another party ("Redistributor") and different terms and conditions may apply to your use of any object code in the Content. Check the Redistributor's license that was provided with the Content. If no such license exists, contact the Redistributor. Unless otherwise indicated below, the terms and conditions of the MIT License still apply to any source code in the Content and such source code may be obtained at http://www.eclipse.org.

Third Party Content

The Content includes items that have been sourced from third parties as set out below. If you did not receive this Content directly from the Eclipse Foundation, the following is provided for informational purposes only, and you should look to the Redistributor's license for terms and conditions of use.

JavaBDD

The Content includes JavaBDD 4.0.0, distributed by Maven Central (https://search.maven.org/artifact/com.github.com-github-javabdd/com.github.javabdd/4.0.0/jar). The JavaBDD source code can be found at GitHub (https://github.com/com-github-javabdd/com.github.javabdd). The Content includes an unmodified copy of JavaBDD.

JavaBDD is licensed under the GNU Library General Public License v2 (LGPLv2) or later. See https://github.com/com-github-javabdd/com.github.javabdd/blob/master/LICENSE.txt.

SPDX-License-Identifier: LGPL-2.0-or-later