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 http://www.smtlib.org.

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

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

Requirements

Bibtex

For citing ddSMT, please use the following BibTex entry:

@inproceedings{DBLP:conf/cav/KremerNP20,
  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       = {https://doi.org/10.1007/978-3-030-81688-9\_11},
  doi       = {10.1007/978-3-030-81688-9\_11},
  timestamp = {Thu, 29 Jul 2021 13:41:58 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/KremerNP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Publications

Documentation

Documentation for ddSMT is available at https://ddsmt.readthedocs.io.

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.6.tar.gz (56.6 kB view details)

Uploaded Source

Built Distribution

ddsmt-2.0.6-py3-none-any.whl (74.2 kB view details)

Uploaded Python 3

File details

Details for the file ddsmt-2.0.6.tar.gz.

File metadata

  • Download URL: ddsmt-2.0.6.tar.gz
  • Upload date:
  • Size: 56.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.13.5

File hashes

Hashes for ddsmt-2.0.6.tar.gz
Algorithm Hash digest
SHA256 407fc5108204399f3b2a178f5f2a19e7a4fba50cc58049fd82a70e26bc919597
MD5 78f6fedcca49c1035cd4a650c059aaaf
BLAKE2b-256 1772bd16df11c5b98c9f9da4a2ce78a3c9dc15a0e69242a6feccc184565d2cf9

See more details on using hashes here.

File details

Details for the file ddsmt-2.0.6-py3-none-any.whl.

File metadata

  • Download URL: ddsmt-2.0.6-py3-none-any.whl
  • Upload date:
  • Size: 74.2 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.13.5

File hashes

Hashes for ddsmt-2.0.6-py3-none-any.whl
Algorithm Hash digest
SHA256 0306e3f21e0ca6b0b9309c894be35e821c0433658f23298c35ba946e72902331
MD5 479220d9483da13dd4e3fe9258cddc77
BLAKE2b-256 ac636df98545d4f87c03d6253d4b35680b66ade2ecd80244296846b54ca01bca

See more details on using hashes here.

Supported by

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