Dear all, does anybody have an SMT-LIB 2 compatible version of the Delta debugger by Robert Brummayer and Armin Biere? There is a version (3.1) of the fuzzer (FuzzSMT), modified by Trevor Hansen, which is available in the Google group of the tools, but I was unable to find anything about DeltaSMT for SMT-LIB 2. Best, Pascal