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

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

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