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

Maintainer: The OpenBSD ports mailing-list <ports@openbsd.org>

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