approximability
Automated sensitivity analysis based mechanism to decide the approximability of program variables from the results produced by klee.
Note - Paths for output, source, and klee needs to be updated in the config.txt file before running the analysis.
This project uses cinpy, which requires tcc. Refer here on how to set up cinpy.