# The devel/angr/py-claripy port

## py3-claripy-8.19.7.25 – abstraction layer for constraint solvers

## Description

    Claripy is an abstracted constraint-solving wrapper.

WWW: https://github.com/angr/claripy/

Only for arches
  amd64
Categories:
  devel lang/python security

## Library dependencies

## Build dependencies

- STEM->=39.0.1v0:devel/py-setuptools,python3
- lang/python/3.7

## Run dependencies

- STEM-<4.6:devel/angr/py-z3-solver
- STEM->=39.0.1v0:devel/py-setuptools,python3
- devel/py-cachetools,python3
- devel/py-future,python3
- lang/python/3.7
- math/py-pysmt,python3