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.dev778.tar.gz (62.1 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.dev778-py3-none-any.whl (81.5 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: ddSMT-0.1.dev778.tar.gz
  • Upload date:
  • Size: 62.1 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.dev778.tar.gz
Algorithm Hash digest
SHA256 e328a948caa4c93fada6934012790f7a9635c95bf5215c1c867ad4a56e25a968
MD5 d447ea7003dd2ad96e3459764f728b4c
BLAKE2b-256 79d0eb534126c7f1378acb43e7adf42cbae359c61ffa8888dccf5cab89cae473

See more details on using hashes here.

File details

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

File metadata

  • Download URL: ddSMT-0.1.dev778-py3-none-any.whl
  • Upload date:
  • Size: 81.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.dev778-py3-none-any.whl
Algorithm Hash digest
SHA256 55ecf0c34ef27e95114d28d45e130211ed1dc27216128260e762e209fe3e87ec
MD5 25e3d10672b40a61ec822bed892d7895
BLAKE2b-256 19872bf0bbc54b8c43423908711e2d6cf3bb0311730817333e38863274e1009b

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

This release
Pre-release

0.1.dev778 This release

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

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