# The devel/angr/py-claripy port

## py3-claripy-9.0.6642p1 – 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

- devel/py-setuptools,python3
- lang/python/3.9

## Run dependencies

- STEM->=4.8.9.0:devel/angr/py-z3-solver
- devel/py-cachetools,python3
- devel/py-future,python3
- devel/py-setuptools,python3
- lang/python/3.9
- math/py-pysmt,python3