license = "BSD-2-Clause"
automode = true
archful = false
summary = "An abstraction layer for constraint solvers"
pypi_version = "9.2.138"
pypi_name = "claripy"
python_name = "python-claripy"
url = "https://github.com/angr/claripy"
source = "PyPI"
archive_name = "claripy-9.2.138.tar.gz"
extras = [
    "docs",
    "testing",
]
license_files_present = true