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.dev721.tar.gz (59.9 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.dev721-py3-none-any.whl (78.6 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: ddSMT-0.1.dev721.tar.gz
  • Upload date:
  • Size: 59.9 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.dev721.tar.gz
Algorithm Hash digest
SHA256 644bab2a302b63fb6e8ce56d77e8fbf353f79b7f1eb084f18393832568cb70be
MD5 d689c011b1129b0f4676a3fbf41048f5
BLAKE2b-256 db2eaca5d62a896606752f54fb8496bee3c721f394e6213351f1684231eef654

See more details on using hashes here.

File details

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

File metadata

  • Download URL: ddSMT-0.1.dev721-py3-none-any.whl
  • Upload date:
  • Size: 78.6 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.dev721-py3-none-any.whl
Algorithm Hash digest
SHA256 1622f82baa3a4c7d03ca080abf98a4126ca384478bef52121d25b1d99894b757
MD5 71d7c22d7e0fd3e837e84aa778e2f59b
BLAKE2b-256 50fe833127183c1b9346afe0bcdbc7998953ce4c830d22585a8f78b8ec1acd85

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

This release
Pre-release

0.1.dev721 This release

2 files

Pre-release

0.1.dev720

2 files

Pre-release

0.1.dev719

2 files

Pre-release

0.1.dev718

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