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:
[![REUSE status](https://api.reuse.software/badge/gitlab.com/sosy-lab/software/cpachecker)](https://api.reuse.software/info/gitlab.com/sosy-lab/software/cpachecker)
The API provides machine-readable artifacts for automatic analysis.
reuse spdx
command.
Commit 47c8f3ff8278af27c6c2a8cc02569a80f86abd3f
was checked on 22 Apr 2024 19:35:00 UTC
with the following result:
warning: redirecting to https://gitlab.com/sosy-lab/software/cpachecker.git/ # SUMMARY * Bad licenses: 0 * Deprecated licenses: 0 * Licenses without file extension: 0 * Missing licenses: 0 * Unused licenses: 0 * Used licenses: ICU, GPL-3.0-only, CC0-1.0, LicenseRef-Octagon-Abstract-Domain-Library, X11, MIT, LGPL-3.0-or-later, Apache-2.0, LicenseRef-MathSAT-CPAchecker, GPL-2.0-or-later, LicenseRef-BuDDy, CC-BY-4.0, LicenseRef-BSD-3-Clause-CMU, EPL-1.0, MPL-2.0, ISC, OFL-1.1, GPL-2.0-only, LicenseRef-CUP, LicenseRef-BSD-3-Clause-CVC4, NCSA, CC-BY-3.0, LGPL-2.1-only, Zlib, LicenseRef-BSD-4-Clause-CBMC, LGPL-2.1-or-later, BSD-3-Clause, 0BSD, BSD-2-Clause, blessing, GPL-3.0-or-later * Read errors: 0 * files with copyright information: 7291 / 7291 * files with license information: 7291 / 7291 Congratulations! Your project is compliant with version 3.0 of the REUSE Specification :-)