# The devel/angr/py-claripy port

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

## Run dependencies

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