-
Notifications
You must be signed in to change notification settings - Fork 32
Licenses
caballa edited this page Mar 16, 2022
·
2 revisions
Unless said otherwise, all files have Apache 2.0 license. The exceptions are:
-
Files with NOSA license. These files with NOSA license have a header at the beginning of each file describing the license conditions.
-
These two files are licensed by
MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
Crab can optionally download and make use of external libraries such as Boxes, Apron, and Elina. These libraries are not part of the Crab codebase. Finally, Crab uses GMP but GMP is not part either of the Crab codebase.