A collection of scripts to take output from an SMT checker and make analysis friendly