checklicenses.py output for third_party/stp

gistfile1.txt

$ ./tools/checklicenses/checklicenses.py third_party/stp/src/
Using base directory: /usr/local/google/home/mdempsky/crwd/src
Checking: /usr/local/google/home/mdempsky/crwd/src/third_party/stp/src

'third_party/stp/src/bindings/python/stp/__init__.py' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/windows/winports/sys/time.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/windows/winports/msc99hdr/unistd.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/windows/winports/compdep.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/scripts/lit-convert/smt2_test_convert.sh' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/scripts/lit-convert/cvc_test_convert.sh' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/scripts/lit-convert/smt_test_convert.sh' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/scripts/travis-cmake.sh' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/stp-array-model.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/timeout.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/if-check.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/parsestring-using-cinterface.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/x.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/stp-div-001.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/push-pop.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/sbvdiv.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/leaks.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/b4-c.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/interface-check.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/stp-counterex.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/push-no-pop.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/parsefile-using-cinterface.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/print.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/b4-c2.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/stp-bool.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/stpcheck.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/simplify.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/cvc-to-c.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/getbv.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/array-ite.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/biosat-rna.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/multiple-queries.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/stp-test3.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/y.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/array-cvcl-02.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/api/C/userguided-absrefine.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/query-files/crypto-tests/tea.pl' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/generated-tests/run-experiments.pl' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/generated-tests/random-tests/tree.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/generated-tests/random-tests/OptGen.java' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/generated-tests/mulDivRem.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/generated-tests/extract.pl' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/generated-tests/runMulDivRem.sh' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tests/generated-tests/testgen.pl' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Globals/Globals.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Printer/SMTLIBPrinter.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/c_interface.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Sat/MinisatCore.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Sat/CryptoMinisat.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Sat/SimplifyingMinisat.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Sat/MinisatCore_prop.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Sat/CryptoMinisat4.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Sat/SATSolver.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Interface/fdstream.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/StringHash.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/Relations.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/StopWatch.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/Functions.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/BBAsProp.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/find_rewrites/Functionlist.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/find_rewrites/misc.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/find_rewrites/rewrite_rule.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/find_rewrites/VariableAssignment.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Util/find_rewrites/rewrite_system.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/ToSat/ASTNode/BBNodeManagerASTNode.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/ToSat/ASTNode/ClauseList.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/ToSat/AIG/ToCNFAIG.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/ToSat/ToSATBase.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/FindPureLiterals.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/VariablesInExpression.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/RemoveUnconstrained.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/UseITEContext.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/PropagateEqualities.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/SubstitutionMap.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/MutableASTNode.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/EstablishIntervals.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/AIGSimplifyPropositionalCore.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/Symbols.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/AlwaysTrue.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/ConstantBitPropagation.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/ConstantBitP_TransferFunctions.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/multiplication/ColumnCounts.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/multiplication/ColumnStats.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/WorkList.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/Dependencies.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/FixedBits.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/MultiplicationStats.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/ConstantBitP_MaxPrecision.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/NodeToFixedBitsMap.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/Simplifier/constantBitP/ConstantBitP_Utility.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/cpp_interface.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/AST/NodeFactory/SimplifyingNodeFactory.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/AST/NodeFactory/TypeChecker.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/AST/NodeFactory/NodeFactory.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/AST/NodeFactory/HashingNodeFactory.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/AST/ASTInternalWithChildren.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/STPManager/DifficultyScore.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/include/stp/STPManager/NodeIterator.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/tools/stp/GitSHA1.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/examples/simple/example.c' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Sat/cryptominisat2/XorSubsumer.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Sat/cryptominisat2/XorSubsumer.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Sat/cryptominisat2/Subsumer.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Sat/cryptominisat2/time_mem.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Sat/cryptominisat2/Subsumer.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Sat/cryptominisat2/XSet.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Sat/cryptominisat2/CSet.h' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Interface/cpp_interface.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Util/test_cbitp.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Util/find_rewrites/rewrite.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Util/apply.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Util/measure.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Simplifier/RemoveUnconstrained.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Simplifier/VariablesInExpression.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/Simplifier/MutableASTNode.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/AST/NodeFactory/SimplifyingNodeFactory.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/AST/RunTimes.cpp' has non-whitelisted license 'UNKNOWN'
'third_party/stp/src/lib/AST/TestAST/cnftest.cpp' has non-whitelisted license 'UNKNOWN'

FAILED

Please read http://www.chromium.org/developers/adding-3rd-party-libraries
for more info how to handle the failure.

Please respect OWNERS of checklicenses.py. Changes violating
this requirement may be reverted.