Claripy is an abstracted constraint-solving wrapper.
