GitHub repository: ApproxSymate/approximability
Primary language: Python
Description: Automated sensitivity analysis based mechanism to decide the approximability of program variables from the results produced by klee