DeltaSMT is an SMT delta-debugger that can be used to automatically minimize failure-inducing SMT benchmarks. In particular, it is useful for developers of highly optimized SMT decision procedures. DeltaSMT supports the most important logics of the SMT-LIB. An earlier version of DeltaSMT has been used for the experiments in our paper Fuzzing and Delta-Debugging SMT Solvers.
See the README for more information and a mini tutorial.
Please use our google group for any questions, bug reports and comments. You should also join if you want to be informed of new releases.
Older versions[ deltasmt-0.1.tar.bz2 ]
We use the GPL license version 3. The license can be found in the file COPYING which comes with the tool.