Claripy is an abstracted constraint-solving wrapper.

General usage is similar to z3.

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