Metadata-Version: 2.1
Name: claripy
Version: 9.0.6642
Summary: An abstraction layer for constraint solvers
Home-page: https://github.com/angr/claripy
Requires-Python: >=3.6
License-File: LICENSE
Requires-Dist: z3-solver (>=4.8.5.0)
Requires-Dist: future
Requires-Dist: cachetools
Requires-Dist: decorator
Requires-Dist: pysmt

