The devel/angr/py-z3-solver port
py3-z3-solver-4.8.10.0p7 – 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