efficient SMT solver library (angr fork)
Fork of Z3 for use with angr.

Maintainer: Jasper Lievisse Adriaanse <jasper@openbsd.org>,  Klemens Nanni <kn@openbsd.org>

WWW: https://github.com/angr/angr-z3
