GitHub repository: vishalbelsare/claripy
Primary language: Python
Description: An abstraction layer for constraint solvers.