abstraction layer for constraint solvers
Claripy is an abstracted constraint-solving wrapper.

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

WWW: https://github.com/angr/claripy/
