GitHub repository: mayhemheroes/claripy
Description: An abstraction layer for constraint solvers.