Pre-release

This release is a pre-release and may not be stable for production use.

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

ddSMT: delta debugging for SMT-LIBv2

ddSMT is a delta debugger for Sat Modulo Theories (SMT) benchmarks in SMT-LIB v2 format. It serves as an input minimizer for SMT benchmarks on which a given executable shows unexpected or faulty behavior and supports all SMT-LIB v2 logics. For more details on the SMT-LIB v2 format see http://www.smtlib.org.

ddSMT is implemented in Python 3 and developed on a Linux OS. ddSMT requires Python version 3.6 or later.

ddSMT is free software released under the GPLv3. You should have received a copy of the GNU General Public License along with ddSMT (see file LICENSE). If not, see http://www.gnu.org/licenses/.

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

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (2.0.6)

3 maintainers

PyPI data
Data sourced directly from PyPI's database.
Avatar for aniemetz from gravatar.com aniemetz Avatar for mpreiner from gravatar.com mpreiner Avatar for nafur from gravatar.com nafur

Credits

Author: Aina Niemetz

License

GNU General Public License v3 (GPLv3), GNU General Public License v3 or later (GPLv3+) (GPL)

Requires

Python >=3.6

Classifiers

Report project as malware

Download files

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

Source Distribution

ddSMT-0.1.dev718.tar.gz (59.8 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

ddSMT-0.1.dev718-py3-none-any.whl (78.5 kB view details)

Uploaded Python 3

File details

Details for the file ddSMT-0.1.dev718.tar.gz.

File metadata

  • Download URL: ddSMT-0.1.dev718.tar.gz
  • Upload date:
  • Size: 59.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.3.0 pkginfo/1.7.0 requests/2.25.1 setuptools/49.2.1 requests-toolbelt/0.9.1 tqdm/4.56.0 CPython/3.9.1

File hashes

Hashes for ddSMT-0.1.dev718.tar.gz
Algorithm Hash digest
SHA256 0c4429120aad812690d9e0a4c46e1793cc5c2140d90dd940c984836faa1f9c54
MD5 5a29ea4519bb0f6b01e96ed4b60d8e7e
BLAKE2b-256 149411975e2fbc9d45e363aaba49b7d100b14d3377cb83e7373c9af74ca320d8

See more details on using hashes here.

File details

Details for the file ddSMT-0.1.dev718-py3-none-any.whl.

File metadata

  • Download URL: ddSMT-0.1.dev718-py3-none-any.whl
  • Upload date:
  • Size: 78.5 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.3.0 pkginfo/1.7.0 requests/2.25.1 setuptools/49.2.1 requests-toolbelt/0.9.1 tqdm/4.56.0 CPython/3.9.1

File hashes

Hashes for ddSMT-0.1.dev718-py3-none-any.whl
Algorithm Hash digest
SHA256 98dc4f3d86c1372a2ad88a06789d1a0006be6cf1192143672a804e6fbd250905
MD5 de41dd12597adf1e7a9da930240f975d
BLAKE2b-256 9d367789197632084c05dc893e8e82d4e0bee29d2dcbe27a653d4856e6cef117

See more details on using hashes here.

Release history Release notifications | RSS feed

Pre-release

2.0.7.dev1

2 files

2.0.6

2 files

Pre-release

2.0.6.dev4

2 files

Pre-release

2.0.6.dev3

2 files

2.0.5

2 files

Pre-release

2.0.5.dev3

2 files

Pre-release

2.0.5.dev1

2 files

2.0.4

2 files

Pre-release

2.0.4.dev13

2 files

Pre-release

2.0.4.dev12

2 files

Pre-release

2.0.4.dev11

2 files

Pre-release

2.0.4.dev10

2 files

Pre-release

2.0.4.dev4

2 files

2.0.3

2 files

Pre-release

2.0.3.dev16

2 files

Pre-release

2.0.3.dev13

2 files

Pre-release

2.0.3.dev12

2 files

Pre-release

2.0.3.dev9

2 files

Pre-release

2.0.3.dev8

2 files

Pre-release

2.0.3.dev7

2 files

Pre-release

2.0.3.dev6

2 files

Pre-release

2.0.3.dev5

2 files

Pre-release

2.0.3.dev4

2 files

Pre-release

2.0.3.dev3

2 files

Pre-release

2.0.3.dev2

2 files

2.0.2

2 files

Pre-release

2.0.2.dev25

2 files

Pre-release

2.0.2.dev24

2 files

Pre-release

2.0.2.dev23

2 files

Pre-release

2.0.2.dev22

2 files

Pre-release

2.0.2.dev21

2 files

Pre-release

2.0.2.dev20

2 files

Pre-release

2.0.2.dev19

2 files

Pre-release

2.0.2.dev18

2 files

Pre-release

2.0.2.dev17

2 files

Pre-release

2.0.2.dev16

2 files

Pre-release

2.0.2.dev15

2 files

Pre-release

2.0.2.dev14

2 files

Pre-release

2.0.2.dev13

2 files

Pre-release

2.0.2.dev11

2 files

Pre-release

2.0.2.dev10

2 files

Pre-release

2.0.2.dev9

2 files

Pre-release

2.0.2.dev8

2 files

Pre-release

2.0.2.dev7

2 files

Pre-release

2.0.2.dev6

2 files

Pre-release

2.0.2.dev5

2 files

Pre-release

2.0.2.dev4

2 files

Pre-release

2.0.2.dev3

2 files

2.0.1

2 files

Pre-release

0.1.dev869

2 files

Pre-release

0.1.dev868

2 files

Pre-release

0.1.dev867

2 files

Pre-release

0.1.dev864

2 files

Pre-release

0.1.dev853

2 files

Pre-release

0.1.dev851

2 files

Pre-release

0.1.dev850

2 files

Pre-release

0.1.dev849

2 files

Pre-release

0.1.dev847

2 files

Pre-release

0.1.dev845

2 files

Pre-release

0.1.dev844

2 files

Pre-release

0.1.dev843

2 files

Pre-release

0.1.dev836

2 files

Pre-release

0.1.dev835

2 files

Pre-release

0.1.dev834

2 files

Pre-release

0.1.dev833

2 files

Pre-release

0.1.dev832

2 files

Pre-release

0.1.dev831

2 files

Pre-release

0.1.dev830

2 files

Pre-release

0.1.dev828

2 files

Pre-release

0.1.dev827

2 files

Pre-release

0.1.dev826

2 files

Pre-release

0.1.dev825

2 files

Pre-release

0.1.dev824

2 files

Pre-release

0.1.dev823

2 files

Pre-release

0.1.dev821

2 files

Pre-release

0.1.dev819

2 files

Pre-release

0.1.dev818

2 files

Pre-release

0.1.dev817

2 files

Pre-release

0.1.dev816

2 files

Pre-release

0.1.dev815

2 files

Pre-release

0.1.dev814

2 files

Pre-release

0.1.dev813

2 files

Pre-release

0.1.dev812

2 files

Pre-release

0.1.dev811

2 files

Pre-release

0.1.dev810

2 files

Pre-release

0.1.dev809

2 files

Pre-release

0.1.dev806

2 files

Pre-release

0.1.dev805

2 files

Pre-release

0.1.dev804

2 files

Pre-release

0.1.dev802

2 files

Pre-release

0.1.dev801

2 files

Pre-release

0.1.dev799

2 files

Pre-release

0.1.dev798

2 files

Pre-release

0.1.dev794

2 files

Pre-release

0.1.dev792

2 files

Pre-release

0.1.dev791

2 files

Pre-release

0.1.dev788

2 files

Pre-release

0.1.dev787

2 files

Pre-release

0.1.dev785

2 files

Pre-release

0.1.dev784

2 files

Pre-release

0.1.dev783

2 files

Pre-release

0.1.dev782

2 files

Pre-release

0.1.dev781

2 files

Pre-release

0.1.dev780

2 files

Pre-release

0.1.dev779

2 files

Pre-release

0.1.dev778

2 files

Pre-release

0.1.dev775

2 files

Pre-release

0.1.dev774

2 files

Pre-release

0.1.dev773

2 files

Pre-release

0.1.dev772

2 files

Pre-release

0.1.dev771

2 files

Pre-release

0.1.dev770

2 files

Pre-release

0.1.dev769

2 files

Pre-release

0.1.dev768

2 files

Pre-release

0.1.dev767

2 files

Pre-release

0.1.dev766

2 files

Pre-release

0.1.dev765

2 files

Pre-release

0.1.dev764

2 files

Pre-release

0.1.dev763

2 files

Pre-release

0.1.dev762

2 files

Pre-release

0.1.dev761

2 files

Pre-release

0.1.dev759

2 files

Pre-release

0.1.dev758

2 files

Pre-release

0.1.dev757

2 files

Pre-release

0.1.dev744

2 files

Pre-release

0.1.dev743

2 files

Pre-release

0.1.dev742

2 files

Pre-release

0.1.dev741

2 files

Pre-release

0.1.dev740

2 files

Pre-release

0.1.dev739

2 files

Pre-release

0.1.dev738

2 files

Pre-release

0.1.dev737

2 files

Pre-release

0.1.dev736

2 files

Pre-release

0.1.dev735

2 files

Pre-release

0.1.dev734

2 files

Pre-release

0.1.dev733

2 files

Pre-release

0.1.dev731

2 files

Pre-release

0.1.dev730

2 files

Pre-release

0.1.dev729

2 files

Pre-release

0.1.dev728

2 files

Pre-release

0.1.dev727

2 files

Pre-release

0.1.dev726

2 files

Pre-release

0.1.dev725

2 files

Pre-release

0.1.dev721

2 files

Pre-release

0.1.dev720

2 files

Pre-release

0.1.dev719

2 files

This release
Pre-release

0.1.dev718 This release

2 files

Pre-release

0.1.dev717

2 files

Pre-release

0.1.dev716

2 files

Pre-release

0.1.dev715

2 files

Pre-release

0.1.dev714

2 files

Pre-release

0.1.dev713

2 files

Pre-release

0.1.dev712

2 files

Pre-release

0.1.dev711

2 files

Pre-release

0.1.dev710

2 files

Pre-release

0.1.dev709

2 files

Pre-release

0.1.dev708

2 files

Pre-release

0.1.dev707

2 files

Pre-release

0.1.dev706

2 files

Pre-release

0.1.dev703

2 files

Pre-release

0.1.dev702

2 files

Pre-release

0.1.dev701

2 files

Pre-release

0.1.dev700

2 files

Pre-release

0.1.dev697

2 files

Pre-release

0.1.dev696

2 files

Pre-release

0.1.dev695

2 files

Pre-release

0.1.dev689

2 files

Pre-release

0.1.dev688

2 files

Pre-release

0.1.dev687

2 files

Pre-release

0.1.dev681

2 files

Pre-release

0.1.dev679

2 files

Pre-release

0.1.dev678

2 files

Pre-release

0.1.dev677

2 files

Pre-release

0.1.dev676

2 files

Pre-release

0.1.dev370

2 files

Pre-release

0.1.dev368

2 files

Pre-release

0.1.dev367

2 files

Pre-release

0.1.dev365

2 files

Pre-release

0.1.dev364

2 files

Pre-release

0.1.dev363

2 files

Pre-release

0.1.dev362

2 files

Pre-release

0.1.dev361

2 files

Pre-release

0.1.dev360

2 files

Pre-release

0.1.dev359

2 files

Pre-release

0.1.dev358

2 files

Pre-release

0.1.dev357

2 files

Pre-release

0.1.dev356

2 files

Pre-release

0.1.dev355

2 files

Pre-release

0.1.dev354

2 files

Pre-release

0.1.dev351

2 files

0.0

2 files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page