Claripy is an abstracted constraint-solving wrapper. General usage is similar to z3.