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.dev687.tar.gz (58.2 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.dev687-py3-none-any.whl (76.6 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: ddSMT-0.1.dev687.tar.gz
  • Upload date:
  • Size: 58.2 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.dev687.tar.gz
Algorithm Hash digest
SHA256 401610fb9f6e5c7b8a2d4a6d46c42e98ae51803c5e30dc692077e4f56a6c086d
MD5 c765ef8d680111667b7485c9d7c95278
BLAKE2b-256 322f64cb8fc40c985560f35259c194b1482c4b83ee15a95a6588c36b107e3882

See more details on using hashes here.

File details

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

File metadata

  • Download URL: ddSMT-0.1.dev687-py3-none-any.whl
  • Upload date:
  • Size: 76.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.dev687-py3-none-any.whl
Algorithm Hash digest
SHA256 a94bd21e6aae9a4585da40ff00c26040b417dc7de138bc0abfede6ad4902bf1c
MD5 ab4e2c4449d664bbfcf292e4a8208168
BLAKE2b-256 15817624a27a45c503fafd6a181962cc0a0f759b4cf0ab123315c5679fbc4f63

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

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

This release
Pre-release

0.1.dev687 This release

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