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
Python version 3.6 or later
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
Gereon Kremer, Aina Niemetz, Mathias Preiner. ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends. CAV: 231-242. (2021)
Aina Niemetz, Armin Biere. ddSMT: A Delta Debugger for the SMT-LIB v2 Format. SMT 2013. (2013)
Documentation
Documentation for ddSMT is available at https://ddsmt.readthedocs.io.
Release files for ddSMT 2.0.6
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | |
|---|---|---|---|---|
| ddsmt-2.0.6.tar.gz | 56.6 kB | Without provenance | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| ddsmt-2.0.6-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 130.8 kB
Release files / ddsmt-2.0.6.tar.gz
| Download URL | ddsmt-2.0.6.tar.gz |
|---|---|
| Size | 56.6 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
407fc5108204399f3b2a178f5f2a19e7a4fba50cc58049fd82a70e26bc919597
|
|
BLAKE2b-256 checksum How to use checksums |
1772bd16df11c5b98c9f9da4a2ce78a3c9dc15a0e69242a6feccc184565d2cf9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.13.5
|
Release files / ddsmt-2.0.6-py3-none-any.whl
| Download URL | ddsmt-2.0.6-py3-none-any.whl |
|---|---|
| Size | 74.2 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
0306e3f21e0ca6b0b9309c894be35e821c0433658f23298c35ba946e72902331
|
|
BLAKE2b-256 checksum How to use checksums |
ac636df98545d4f87c03d6253d4b35680b66ade2ecd80244296846b54ca01bca
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.13.5
|
Security for ddSMT 2.0.6
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
To learn more about protecting yourself from malicious actors, visit our package security documentation.
