Claripy is an abstracted constraint-solving wrapper. It is maintained by the angr organization on GitHub. General usage is similar to z3.