Congratulations, gitlab.com/sosy-lab/software/cpachecker is REUSE compliant! This project adopts the recommendations to make software licensing easy for humans and machines alike.
To add the badge to your project's README.md
file,
use the following snippet:
[](https://api.reuse.software/info/gitlab.com/sosy-lab/software/cpachecker)
All information about the latest compliance check can also be accessed via a machine-parsable JSON file.
Commit ed708be2e488a76684ac672a499e1c9d7c443a64
was checked on 21 Apr 2021 13:17:56 UTC
with the following result:
# SUMMARY * Bad licenses: * Deprecated licenses: * Licenses without file extension: * Missing licenses: * Unused licenses: * Used licenses: Apache-2.0, BSD-2-Clause, BSD-3-Clause, CC-BY-4.0, EPL-1.0, GPL-2.0-only, GPL-2.0-or-later, GPL-3.0-only, GPL-3.0-or-later, ICU, ISC, LGPL-2.1-only, LGPL-2.1-or-later, LGPL-3.0-or-later, LicenseRef-BSD-3-Clause-CMU, LicenseRef-BSD-3-Clause-CVC4, LicenseRef-BSD-4-Clause-CBMC, LicenseRef-BuDDy, LicenseRef-CUP, LicenseRef-MathSAT-CPAchecker, LicenseRef-Octagon-Abstract-Domain-Library, MIT, MPL-2.0, NCSA, X11, Zlib, blessing * Read errors: 0 * Files with copyright information: 6221 / 6221 * Files with license information: 6221 / 6221 Congratulations! Your project is compliant with version 3.0 of the REUSE Specification :-)