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.

Discussion Platform

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.


deltasmt-0.2.tar.bz2 ]

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.