Copyrights and Licenses Information
path start end what value
python-claripy/python-claripy.spec 8 8 license bsd-new
python-claripy/claripy-9.2.39/LICENSE 4 23 license bsd-simplified
python-claripy/claripy-9.2.39/setup.cfg 4 23 license bsd-simplified
python-claripy/claripy-9.2.39/setup.cfg 8 11 license bsd-simplified
python-claripy/claripy-9.2.39/setup.cfg 9 9 license unknown-license-reference
python-claripy/claripy-9.2.39/setup.cfg 11 11 license bsd-new
python-claripy/claripy-9.2.39/claripy/utils/orderedset.py 7 7 license mit
File Information
path type name extension date size sha1 md5 files_count mime_type file_type programming_language is_binary is_text is_archive is_media is_source is_script
python-claripy directory
python-claripy/claripy-9.2.39-SPECPARTS directory
python-claripy/claripy-9.2.39.tar.gz file
python-claripy/python-claripy.spec file
python-claripy/README.md file
python-claripy/sources file
python-claripy/claripy-9.2.39 directory
python-claripy/claripy-9.2.39/.git-blame-ignore-revs file
python-claripy/claripy-9.2.39/.pre-commit-config.yaml file
python-claripy/claripy-9.2.39/LICENSE file
python-claripy/claripy-9.2.39/MANIFEST.in file
python-claripy/claripy-9.2.39/pyproject.toml file
python-claripy/claripy-9.2.39/README.md file
python-claripy/claripy-9.2.39/setup.cfg file
python-claripy/claripy-9.2.39/.github directory
python-claripy/claripy-9.2.39/.github/ISSUE_TEMPLATE directory
python-claripy/claripy-9.2.39/.github/ISSUE_TEMPLATE/bug-report.yml file
python-claripy/claripy-9.2.39/.github/ISSUE_TEMPLATE/config.yml file
python-claripy/claripy-9.2.39/.github/ISSUE_TEMPLATE/feature-request.yml file
python-claripy/claripy-9.2.39/.github/ISSUE_TEMPLATE/question.yml file
python-claripy/claripy-9.2.39/.github/workflows directory
python-claripy/claripy-9.2.39/.github/workflows/ci.yml file
python-claripy/claripy-9.2.39/.github/workflows/nightly-ci.yml file
python-claripy/claripy-9.2.39/claripy directory
python-claripy/claripy-9.2.39/claripy/__init__.py file
python-claripy/claripy-9.2.39/claripy/annotation.py file
python-claripy/claripy-9.2.39/claripy/backend_manager.py file
python-claripy/claripy-9.2.39/claripy/backend_object.py file
python-claripy/claripy-9.2.39/claripy/balancer.py file
python-claripy/claripy-9.2.39/claripy/bv.py file
python-claripy/claripy-9.2.39/claripy/debug.py file
python-claripy/claripy-9.2.39/claripy/errors.py file
python-claripy/claripy-9.2.39/claripy/fp.py file
python-claripy/claripy-9.2.39/claripy/frontend.py file
python-claripy/claripy-9.2.39/claripy/operations.py file
python-claripy/claripy-9.2.39/claripy/ops.py file
python-claripy/claripy-9.2.39/claripy/py.typed file
python-claripy/claripy-9.2.39/claripy/simplifications.py file
python-claripy/claripy-9.2.39/claripy/smtlib_utils.py file
python-claripy/claripy-9.2.39/claripy/solvers.py file
python-claripy/claripy-9.2.39/claripy/strings.py file
python-claripy/claripy-9.2.39/claripy/ast directory
python-claripy/claripy-9.2.39/claripy/ast/__init__.py file
python-claripy/claripy-9.2.39/claripy/ast/base.py file
python-claripy/claripy-9.2.39/claripy/ast/bits.py file
python-claripy/claripy-9.2.39/claripy/ast/bool.py file
python-claripy/claripy-9.2.39/claripy/ast/bv.py file
python-claripy/claripy-9.2.39/claripy/ast/fp.py file
python-claripy/claripy-9.2.39/claripy/ast/int.py file
python-claripy/claripy-9.2.39/claripy/ast/strings.py file
python-claripy/claripy-9.2.39/claripy/ast/vs.py file
python-claripy/claripy-9.2.39/claripy/backends directory
python-claripy/claripy-9.2.39/claripy/backends/__init__.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_concrete.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_smtlib.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_vsa.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_z3.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_z3_parallel.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_smtlib_solvers directory
python-claripy/claripy-9.2.39/claripy/backends/backend_smtlib_solvers/__init__.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_smtlib_solvers/abc_popen.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_smtlib_solvers/cvc4_popen.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_smtlib_solvers/z3_popen.py file
python-claripy/claripy-9.2.39/claripy/backends/backend_smtlib_solvers/z3str_popen.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins directory
python-claripy/claripy-9.2.39/claripy/frontend_mixins/__init__.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/composited_cache_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/concrete_handler_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/constraint_deduplicator_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/constraint_expansion_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/constraint_filter_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/constraint_fixer_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/debug_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/eager_resolution_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/eval_string_to_ast_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/model_cache_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/sat_cache_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/simplify_helper_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/simplify_skipper_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/smtlib_script_dumper_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontend_mixins/solve_block_mixin.py file
python-claripy/claripy-9.2.39/claripy/frontends directory
python-claripy/claripy-9.2.39/claripy/frontends/__init__.py file
python-claripy/claripy-9.2.39/claripy/frontends/composite_frontend.py file
python-claripy/claripy-9.2.39/claripy/frontends/constrained_frontend.py file
python-claripy/claripy-9.2.39/claripy/frontends/full_frontend.py file
python-claripy/claripy-9.2.39/claripy/frontends/hybrid_frontend.py file
python-claripy/claripy-9.2.39/claripy/frontends/light_frontend.py file
python-claripy/claripy-9.2.39/claripy/frontends/replacement_frontend.py file
python-claripy/claripy-9.2.39/claripy/utils directory
python-claripy/claripy-9.2.39/claripy/utils/__init__.py file
python-claripy/claripy-9.2.39/claripy/utils/deprecated.py file
python-claripy/claripy-9.2.39/claripy/utils/orderedset.py file
python-claripy/claripy-9.2.39/claripy/vsa directory
python-claripy/claripy-9.2.39/claripy/vsa/__init__.py file
python-claripy/claripy-9.2.39/claripy/vsa/abstract_location.py file
python-claripy/claripy-9.2.39/claripy/vsa/bool_result.py file
python-claripy/claripy-9.2.39/claripy/vsa/discrete_strided_interval_set.py file
python-claripy/claripy-9.2.39/claripy/vsa/errors.py file
python-claripy/claripy-9.2.39/claripy/vsa/strided_interval.py file
python-claripy/claripy-9.2.39/claripy/vsa/valueset.py file
python-claripy/claripy-9.2.39/tests directory
python-claripy/claripy-9.2.39/tests/common_backend_smt_solver.py file
python-claripy/claripy-9.2.39/tests/test_annotations.py file
python-claripy/claripy-9.2.39/tests/test_ast.py file
python-claripy/claripy-9.2.39/tests/test_backend_smt.py file
python-claripy/claripy-9.2.39/tests/test_backend_smt_abc.py file
python-claripy/claripy-9.2.39/tests/test_backend_smt_composite.py file
python-claripy/claripy-9.2.39/tests/test_backend_smt_congruency.py file
python-claripy/claripy-9.2.39/tests/test_backend_smt_cvc4.py file
python-claripy/claripy-9.2.39/tests/test_backend_smt_z3.py file
python-claripy/claripy-9.2.39/tests/test_balancer.py file
python-claripy/claripy-9.2.39/tests/test_bv.py file
python-claripy/claripy-9.2.39/tests/test_concrete.py file
python-claripy/claripy-9.2.39/tests/test_expression.py file
python-claripy/claripy-9.2.39/tests/test_fallback_abstraction.py file
python-claripy/claripy-9.2.39/tests/test_fp.py file
python-claripy/claripy-9.2.39/tests/test_merging.py file
python-claripy/claripy-9.2.39/tests/test_regressions.py file
python-claripy/claripy-9.2.39/tests/test_replacements.py file
python-claripy/claripy-9.2.39/tests/test_serial.py file
python-claripy/claripy-9.2.39/tests/test_simplify.py file
python-claripy/claripy-9.2.39/tests/test_smart_join.py file
python-claripy/claripy-9.2.39/tests/test_solver.py file
python-claripy/claripy-9.2.39/tests/test_strided_intervals.py file
python-claripy/claripy-9.2.39/tests/test_vsa.py file
python-claripy/claripy-9.2.39/tests/test_z3.py file
Holders
path holder start end
Authors
path Author start end
Emails
path email start end
Urls
path url start end
License References
key short_name category owner scancode_url licensedb_url homepage_url text_urls spdx_license_key spdx_url
bsd-new BSD-3-Clause Permissive Regents of the University of California https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/bsd-new.LICENSE https://scancode-licensedb.aboutcode.org/bsd-new http://www.opensource.org/licenses/BSD-3-Clause http://www.opensource.org/licenses/BSD-3-Clause BSD-3-Clause https://spdx.org/licenses/BSD-3-Clause
bsd-simplified BSD-2-Clause Permissive Regents of the University of California https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/bsd-simplified.LICENSE https://scancode-licensedb.aboutcode.org/bsd-simplified http://www.opensource.org/licenses/BSD-2-Clause http://opensource.org/licenses/bsd-license.php BSD-2-Clause https://spdx.org/licenses/BSD-2-Clause
mit MIT License Permissive MIT https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/mit.LICENSE https://scancode-licensedb.aboutcode.org/mit http://opensource.org/licenses/mit-license.php http://opensource.org/licenses/mit-license.php MIT https://spdx.org/licenses/MIT
unknown-license-reference Unknown License reference Unstated License Unspecified https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/unknown-license-reference.LICENSE https://scancode-licensedb.aboutcode.org/unknown-license-reference None LicenseRef-scancode-unknown-license-reference https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/unknown-license-reference.LICENSE