The devel/angr/py-z3-solver port
py3-z3-solver-4.8.10.0p5 – efficient SMT solver library (angr fork)
Description
Fork of Z3 for use with angr.
WWW: https://github.com/angr/angr-z3
- Only for arches
-
aarch64
amd64
- Categories:
-
devel
lang/python
security
Library dependencies
Build dependencies
Run dependencies