Claripy is an abstracted constraint-solving wrapper for Python.

It is being developed by the Angr project.

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