Claripy is an abstracted constraint-solving wrapper for Python.

It is being developed by the Angr project.