Claripy is an abstracted constraint-solving wrapper.

General usage is similar to z3.
