A delta debugger for SMT benchmarks in SMT-LIB v2. - View it on GitHub