Home

The devel/angr/py-z3-solver port

py3-z3-solver-4.8.10.0p5 – efficient SMT solver library (angr fork) (cvsweb github mirror)

Description

Fork of Z3 for use with angr.
WWW: https://github.com/angr/angr-z3

Maintainer

Jasper Lievisse Adriaanse

Only for arches

aarch64 amd64

Categories

devel lang/python security

Build dependencies

Run dependencies

Files

Search