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