COPYRIGHT

Intellectual Property Notice
------------------------------

Kripke is licensed under the BSD 3-Clause license,
(BSD-3-Clause or https://opensource.org/licenses/BSD-3-Clause).

See the files LICENSE and NOTICE for details.

Copyrights and patents in the Kripke project are retained by contributors.
No copyright assignment is required to contribute to Kripke.


SPDX usage
------------

Individual files contain SPDX tags instead of the full license text.
This enables machine processing of license information based on the SPDX
License Identifiers that are available here: https://spdx.org/licenses/

Files that are licensed as BSD 3-Clause contain the following
text in the license header:

SPDX-License-Identifier: (BSD-3-Clause)


External Packages
-------------------
Kripke has some external dependencies, some of which are included as Git 
submodules and others are bundled in the Kripke repository. These
packages are covered by various permissive licenses. A summary listing
follows. See the license included with each package for full details.


PackageName: BLT
PackageHomePage: https://github.com/LLNL/blt/
PackageLicenseDeclared: BSD-3-Clause

PackageName: CHAI
PackageHomePage: http://github.com/LLNL/CHAI/
PackageLicenseDeclared: BSD-3-Clause

PackageName: CUB
PackageHomePage: http://nvlabs.github.com/cub/
PackageLicenseDeclared: BSD-3-Clause

PackageName: RAJA
PackageHomePage: https://github.com/LLNL/RAJA/
PackageLicenseDeclared: BSD-3-Clause

PackageName: Umpire
PackageHomePage: http://github.com/LLNL/Umpire/
PackageLicenseDeclared: MIT