REUSE compliance of software/cpachecker

Congratulations, 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 file, use the following snippet:

[![REUSE status](](

Parseable JSON

All information about the latest compliance check can also be accessed via a machine-parsable JSON file.

Last lint output

Commit 1e7ce76d205342181f249e5a04a0cd7de684b32c was checked on 17 Jan 2021 22:29:34 UTC with the following result:


* 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: 6201 / 6201
* Files with license information: 6201 / 6201

Congratulations! Your project is compliant with version 3.0 of the REUSE Specification :-)