*No copyright* Public domain
----------------------------
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/CheckFloatPrecision.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/FindPkgMacros.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/FindTBB.cmake

Boost Software License 1.0
--------------------------
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/GetGitRevisionDescription.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/GetGitRevisionDescription.cmake.in

GNU General Public License, Version 2
-------------------------------------
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/scripts/fix_cnf.py
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/scripts/rem_dup_cls.py
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/scripts/xor_to_cnf_class.py

MIT License
-----------
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/CMakeLists.txt
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/FindSqlite3.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/Algebraic.cpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/Algebraic.hpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/Breaking.cpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/Breaking.hpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/CMakeLists.txt
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/GitSHA1.cpp.in
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/GitSHA1.h
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/Graph.cpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/Graph.hpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/Theory.cpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/Theory.hpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/breakid.cpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/breakid.hpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/cms_windows_includes.h
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/config.hpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/constants.h
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/main.cpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/test.cpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/time_mem.h

Unknown or generated
--------------------
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/.clang-format
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/.gitmodules
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/BreakIDGlucose2.pdf
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/LICENSE
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/README.md
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/breakidConfig.cmake.in
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/AddGTestSuite.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/AddSTPGTest.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/FindM4RI.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/FindPerftools.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/FindValgrind.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/cmake_uninstall.cmake.in
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/scripts/build_debug.sh
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/scripts/build_norm.sh
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/scripts/build_release.sh
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/scripts/build_static.sh
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/scripts/clear_build.sh
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/Makefile
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/breakid_c.cpp
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/src/breakid_c.h

zlib License
------------
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/Findcargo.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/Findrustc.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/Findrustdoc.cmake
breakid-6a14320e54e8155bad68b1523c480bed8893a8b8/cmake/Rust.cmake