domainexpert / approximability Goto Github PK
View Code? Open in Web Editor NEWThis project forked from approxsymate/approximability
Automated sensitivity analysis based mechanism to decide the approximability of program variables from the results produced by klee