<commit_before>[metadata]
name = claripy
version = attr: claripy.__version__
url = https://github.com/angr/clairpy
classifiers =
    License :: OSI Approved :: BSD License
    Programming Language :: Python :: 3
    Programming Language :: Python :: 3.6
license = BSD 2 Clause
license_files = LICENSE
description = An abstraction layer for constraint solvers
long_description = file: README.md
long_description_content_type = text/markdown

[options]
install_requires =
    z3-solver >= 4.8.5.0
    cachetools
    decorator
    pysmt >= 0.9.1.dev119
python_requires = >= 3.8
packages = find:

[options.extras_require]
cvc4-solver = cvc4-solver

[options.package_data]
claripy = py.typed
<commit_msg>pin to z3 == 4.10.2.0 since 4.11 seems to have introduced serious performance regressions (#287)<commit_after>[metadata]
name = claripy
version = attr: claripy.__version__
url = https://github.com/angr/clairpy
classifiers =
    License :: OSI Approved :: BSD License
    Programming Language :: Python :: 3
    Programming Language :: Python :: 3.6
license = BSD 2 Clause
license_files = LICENSE
description = An abstraction layer for constraint solvers
long_description = file: README.md
long_description_content_type = text/markdown

[options]
install_requires =
    z3-solver == 4.10.2.0
    cachetools
    decorator
    pysmt >= 0.9.1.dev119
python_requires = >= 3.8
packages = find:

[options.extras_require]
cvc4-solver = cvc4-solver

[options.package_data]
claripy = py.typed

{'fraction_non_alphanumeric': 0.09919028340080972, 'fraction_numerical': 0.03441295546558704, 'mean_word_length': 4.167247386759582, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 8, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 3, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '39073', 'n_tokens_mistral': 520, 'n_tokens_neox': 477, 'n_words': 129}