Skip to content

Licenses

Jump to bottom
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.

Clone this wiki locally