# The devel/angr/py-claripy port

## py3-claripy-9.2.85p1 – abstraction layer for constraint solvers

## Description

    Claripy is an abstracted constraint-solving wrapper.

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

Only for arches
  aarch64 amd64
Categories:
  devel lang/python security

## Library dependencies

## Build dependencies

- devel/py-build
- devel/py-installer
- devel/py-setuptools
- devel/py-wheel
- lang/python/3

## Run dependencies

- STEM->=4.8.9.0:devel/angr/py-z3-solver
- devel/py-cachetools
- devel/py-future
- lang/python/3
- math/py-pysmt