angr/claripy: An abstraction layer for constraint solvers. An abstraction layer for constraint solvers. Contribute to angr/claripy development by creating an account on GitHub.