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.dev770.tar.gz (61.7 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.dev770-py3-none-any.whl (81.0 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: ddSMT-0.1.dev770.tar.gz
  • Upload date:
  • Size: 61.7 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.dev770.tar.gz
Algorithm Hash digest
SHA256 350ca759891a9ab6e57c7cfbda26135b03d2ab044138cdc027ab840cff76ecda
MD5 6226cb160d7b9f5d6586c6c64b5c6182
BLAKE2b-256 a76cb23d8fc0ba74465b43885add7c8fee13751e1154ed71079c597027ef1c63

See more details on using hashes here.

File details

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

File metadata

  • Download URL: ddSMT-0.1.dev770-py3-none-any.whl
  • Upload date:
  • Size: 81.0 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.dev770-py3-none-any.whl
Algorithm Hash digest
SHA256 1258dad4b62cc8a08f73c91bcf27897d6051cfeceac77c5ac028a54a7b536391
MD5 b8067638400fe84f4d8adb82a055026d
BLAKE2b-256 83d26ad4d3637ceab31a4965bc0a1f6b105eff019791214a8842f3ddff5d229b

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

This release
Pre-release

0.1.dev770 This release

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