Skip to main content

A delta debugger for SMT-LIBv2 files

Project description

GitHub Workflow Status Read the Docs PyPI PyPI - Python Version PyPI - License

ddSMT: Delta Debugging for SMT-LIBv2

ddSMT is a delta debugger for input in the SMT-LIB language and its dialects and extensions. It serves as an input minimizer for SMT-LIB(-like) input that triggers interesting behavior for a given command. Noteworthy examples for supported extensions of the SMT-LIB language are the SyGuS input format and the extension for encoding separation logic problems. For more details on the SMT-LIB language, see

ddSMT is implemented in Python 3 and developed on a Linux OS.

ddSMT is released under the MIT (see file LICENSE).



For citing ddSMT, please use the following BibTex entry:

  author    = {Gereon Kremer and
               Aina Niemetz and
               Mathias Preiner},
  editor    = {Alexandra Silva and
               K. Rustan M. Leino},
  title     = {ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends},
  booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
               2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12760},
  pages     = {231--242},
  publisher = {Springer},
  year      = {2021},
  url       = {\_11},
  doi       = {10.1007/978-3-030-81688-9\_11},
  timestamp = {Thu, 29 Jul 2021 13:41:58 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}



Documentation for ddSMT is available at

Project details

Release history Release notifications | RSS feed

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

ddsmt-2.0.5.tar.gz (56.5 kB view hashes)

Uploaded Source

Built Distribution

ddSMT-2.0.5-py3-none-any.whl (74.1 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page