pyvsc · PyPI

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

PyVSC implements a Python-embedded domain-specific language for capturing random variables and data structures, constraints, and functional coverage metrics. PyVSC is built on top of the Boolector SMT solver.

Download files

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

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

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

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

pyvsc-0.7.3.2484463842-py2.py3-none-any.whl (160.2 kB view details)

Uploaded Jun 12, 2022 Python 2Python 3

File details

Details for the file pyvsc-0.7.3.2484463842-py2.py3-none-any.whl.

File metadata

Download URL: pyvsc-0.7.3.2484463842-py2.py3-none-any.whl
Upload date: Jun 12, 2022
Size: 160.2 kB
Tags: Python 2, Python 3
Uploaded using Trusted Publishing? No
Uploaded via: twine/4.0.1 CPython/3.9.13

File hashes

Hashes for pyvsc-0.7.3.2484463842-py2.py3-none-any.whl
Algorithm	Hash digest
SHA256	`8a8e7c2bc58d4a18ad3bdc47b302d0f91a412719d0213c27bba58557890c0b54`
MD5	`d5ad653c53d44b599d7e935166613741`
BLAKE2b-256	`6e733a771937dd821a858204526ab137a00feb44a66a8d30cd205fc764af60d2`

See more details on using hashes here.

Release history Release notifications | RSS feed

0.9.5.27214109393

Jun 9, 2026 1 file

0.9.4.25837897616

May 14, 2026 1 file

0.9.4.25711553021

May 12, 2026 1 file

0.9.4.24192082852

Apr 9, 2026 1 file

0.9.4.24111203402

Apr 8, 2026 1 file

0.9.4.22122858116

Feb 18, 2026 1 file

0.9.4.22121726138

Feb 18, 2026 1 file

0.9.4.22121577563

Feb 18, 2026 1 file

0.9.4.21567333848

Feb 1, 2026 1 file

0.9.4.19475493160

Nov 18, 2025 1 file

0.9.4.19342806556

Nov 13, 2025 1 file

0.9.4.19195130816

Nov 8, 2025 1 file

0.9.4.19195124892

Nov 8, 2025 1 file

0.9.4.17961244602

Sep 23, 2025 1 file

0.9.4.16393943433

Jul 19, 2025 1 file

0.9.4.15369697742

Jun 1, 2025 1 file

0.9.4.14939408520

May 9, 2025 1 file

0.9.4.14552052434

Apr 19, 2025 1 file

0.9.4.13813254445

Mar 12, 2025 1 file

0.9.3.13485039521

Feb 23, 2025 1 file

0.9.3.10985030023

Sep 22, 2024 1 file

0.9.1.10086043874

Jul 25, 2024 1 file

0.9.1.10031514295

Jul 21, 2024 1 file

0.9.1.10022711941

Jul 20, 2024 1 file

0.9.1.9940712143

Jul 15, 2024 1 file

0.9.1.9940706839

Jul 15, 2024 1 file

0.9.1.9940644656

Jul 15, 2024 1 file

0.9.1.9940593662

Jul 15, 2024 1 file

0.9.1.9920936192

Jul 13, 2024 1 file

0.9.0.9920922763

Jul 13, 2024 1 file

0.9.0.9785918211

Jul 3, 2024 1 file

0.9.0.9622060553

Jun 22, 2024 1 file

0.8.9.8655301580

Apr 12, 2024 1 file

0.8.8.8445254032

Mar 27, 2024 1 file

0.8.8.8445014080

Mar 27, 2024 1 file

0.8.8.7162283399

Dec 11, 2023 1 file

0.8.7.6990678536

Nov 25, 2023 1 file

0.8.6.6319294550

Sep 26, 2023 1 file

0.8.5.6318608914

Sep 26, 2023 1 file

0.8.5.6153648413

Sep 12, 2023 1 file

0.8.5.5944440558

Aug 22, 2023 1 file

0.8.4.5932731079

Aug 22, 2023 1 file

0.8.3.4340109521

Mar 6, 2023 1 file

0.8.2.4238553981

Feb 22, 2023 1 file

0.8.2.4110341772

Feb 7, 2023 1 file

0.8.2.4029712566

Jan 28, 2023 1 file

0.8.1.3466255343

Nov 15, 2022 1 file

0.8.0.3304598593

Oct 22, 2022 1 file

0.8.0.3231375476

Oct 12, 2022 1 file

0.7.9.3032608688

Sep 11, 2022 1 file

0.7.8.3008149820

Sep 7, 2022 1 file

0.7.7.2884171784

Aug 18, 2022 1 file

0.7.6.2764051711

Jul 30, 2022 1 file

0.7.5.2761537329

Jul 29, 2022 1 file

0.7.5.2630962355

Jul 7, 2022 1 file

0.7.5.2630326210

Jul 7, 2022 1 file

0.7.5.2612361247

Jul 4, 2022 1 file

0.7.3.2485440646

Jun 13, 2022 1 file

0.7.3.2485134296

Jun 12, 2022 1 file

0.7.3.2484619664

Jun 12, 2022 1 file

This release

0.7.3.2484463842 This release

Jun 12, 2022 1 file

0.7.2.2481406307

Jun 11, 2022 1 file

0.7.2.2328372561

May 15, 2022 1 file

0.7.1.2192808032

Apr 20, 2022 1 file

0.7.0.2117799761

Apr 8, 2022 1 file

0.7.0.1904017040

Feb 26, 2022 1 file

0.6.9.1837466541

Feb 13, 2022 1 file

0.6.9.1837458850

Feb 13, 2022 1 file

0.6.8.1827322812

Feb 11, 2022 1 file

0.6.7.1792877175

Feb 4, 2022 1 file

0.6.6.1656570787

Jan 5, 2022 1 file

0.6.5.1516745361

Nov 29, 2021 1 file

0.6.4.1516732620

Nov 29, 2021 1 file

0.6.4.1483360542

Nov 20, 2021 1 file

0.6.3.1400856349

Oct 29, 2021 1 file

0.6.2.1392544946

Oct 28, 2021 1 file

0.6.1.1392541017

Oct 28, 2021 1 file

0.6.0.1372589403

Oct 22, 2021 1 file

0.6.0.1361592744

Oct 20, 2021 1 file

0.6.0.1300951885

Oct 3, 2021 1 file

0.5.9.1300924217

Oct 3, 2021 1 file

0.5.9.1300920983

Oct 3, 2021 1 file

0.5.9.1283707599

Sep 28, 2021 1 file

0.5.9.1283683442

Sep 28, 2021 1 file

0.5.8.20210912.1

Sep 12, 2021 1 file

0.5.7.20210909.1

Sep 9, 2021 1 file

0.5.6.20210903.1

Sep 3, 2021 1 file

0.5.5.20210822.1

Aug 22, 2021 1 file

0.5.4.20210821.1

Aug 21, 2021 1 file

0.5.3.20210817.1

Aug 18, 2021 1 file

0.5.2.20210724.1

Jul 24, 2021 1 file

0.5.1.20210721.3

Jul 21, 2021 1 file

0.5.1.20210721.1

Jul 21, 2021 1 file

0.5.0.20210710.1

Jul 10, 2021 1 file

0.4.9.20210706.1

Jul 6, 2021 1 file

0.4.8.20210705.1

Jul 5, 2021 1 file

0.4.7.20210703.2

Jul 3, 2021 1 file

0.4.6.20210701.1

Jul 1, 2021 1 file

0.4.5.20210630.2

Jun 30, 2021 1 file

0.4.4.20210628.1

Jun 28, 2021 1 file

0.4.3.20210624.1

Jun 24, 2021 1 file

0.4.2.20210620.1

Jun 20, 2021 1 file

0.4.1.20210617.1

Jun 17, 2021 1 file

0.4.0.20210608.2

Jun 8, 2021 1 file

0.3.9.20210601.1

Jun 1, 2021 1 file

0.3.8.20210526.1

May 26, 2021 1 file

0.3.7.20210523.1

May 23, 2021 1 file

0.3.6.20210508.1

May 8, 2021 1 file

0.3.5.20210507.3

May 7, 2021 1 file

0.3.5.20210507.2

May 7, 2021 1 file

0.3.5.20210504.2

May 4, 2021 1 file

0.3.5.20210504.1

May 4, 2021 1 file

0.3.5.20210502.1

May 2, 2021 1 file

0.3.4.20210424.1

Apr 24, 2021 1 file

0.3.3.20210422.1

Apr 22, 2021 1 file

0.3.2.20210421.2

Apr 21, 2021 1 file

0.3.2.20210421.1

Apr 21, 2021 1 file

0.3.2.20210415.1

Apr 15, 2021 1 file

0.3.1.20210413.2

Apr 13, 2021 1 file

0.3.0.20210313.1

Mar 13, 2021 1 file

0.2.9.20210221.1

Feb 21, 2021 1 file

0.2.9.20210207.1

Feb 7, 2021 1 file

0.2.9.20210203.3

Feb 3, 2021 1 file

0.2.9.20210130.2

Jan 30, 2021 1 file

0.2.9.20210129.2

Jan 29, 2021 1 file

0.2.9.20210129.1

Jan 29, 2021 1 file

0.2.8.20210127.2

Jan 27, 2021 1 file

0.2.8.20201222.1

Dec 22, 2020 1 file

0.2.8.20201108.1

Nov 8, 2020 1 file

0.2.7.20201107.1

Nov 7, 2020 1 file

0.2.6.20201105.5

Nov 5, 2020 1 file

0.2.6.20201105.4

Nov 5, 2020 1 file

0.2.6.20201105.3

Nov 5, 2020 1 file

0.2.6.20201105.2

Nov 5, 2020 1 file

0.2.6.20201105.1

Nov 5, 2020 1 file

0.2.5.20201101.1

Nov 1, 2020 1 file

0.2.5.20201025.2

Oct 25, 2020 1 file

0.2.4.20201025.1

Oct 25, 2020 1 file

0.2.4.20201018.2

Oct 18, 2020 1 file

0.2.3.20201018.1

Oct 18, 2020 1 file

0.2.3.20201006.1

Oct 6, 2020 1 file

0.2.2.20200926.3

Sep 26, 2020 1 file

0.2.2.20200926.2

Sep 26, 2020 1 file

0.2.2.20200926.1

Sep 26, 2020 1 file

0.2.1.20200917.1

Sep 17, 2020 1 file

0.2.0.20200912.5

Sep 12, 2020 1 file

0.1.9.20200908.2

Sep 8, 2020 1 file

0.1.9.20200908.1

Sep 8, 2020 1 file

0.1.9.20200907.3

Sep 7, 2020 1 file

0.1.9.20200907.2

Sep 7, 2020 1 file

0.1.9.20200907.1

Sep 7, 2020 1 file

0.1.9.20200906.1

Sep 6, 2020 1 file

0.1.9.20200901.1

Sep 1, 2020 1 file

0.1.8.20200823.1

Aug 23, 2020 1 file

0.1.8.20200822.1

Aug 22, 2020 1 file

0.1.7.20200821.2

Aug 21, 2020 1 file

0.1.7.20200821.1

Aug 21, 2020 1 file

0.1.7.20200820.1

Aug 20, 2020 1 file

0.1.6.20200819.1

Aug 19, 2020 1 file

0.1.5.20200815.1

Aug 15, 2020 1 file

0.1.4.20200813.1

Aug 13, 2020 1 file

0.1.3.20200812.1

Aug 12, 2020 1 file

0.1.2.20200809.1

Aug 9, 2020 1 file

0.1.1.20200808.1

Aug 8, 2020 1 file

0.1.0.20200803.1

Aug 3, 2020 1 file

0.0.8.20200731.1

Jul 31, 2020 1 file

0.0.8.20200726.1

Jul 26, 2020 1 file

0.0.7.20200719.1

Jul 19, 2020 1 file

0.0.6.20200707.1

Jul 7, 2020 1 file

0.0.5.20200706.2

Jul 6, 2020 1 file

0.0.5.20200706.1

Jul 6, 2020 1 file

0.0.5.20200703.2

Jul 3, 2020 1 file

0.0.4.20200703.1

Jul 3, 2020 1 file

0.0.4.20200702.1

Jul 2, 2020 1 file

0.0.4.20200701.1

Jul 1, 2020 1 file

0.0.4.20200630.1

Jun 30, 2020 1 file

0.0.3.20200628.1

Jun 28, 2020 1 file

0.0.3.20200627.1

Jun 27, 2020 1 file

0.0.3.20200624.1

Jun 24, 2020 1 file

0.0.2.20200617.1

Jun 17, 2020 1 file

0.0.2.20200613.1

Jun 13, 2020 1 file

0.0.2.20200606.1

Jun 6, 2020 1 file

0.0.1.20200531.1

May 31, 2020 1 file

0.0.1.20200522.1

May 22, 2020 1 file

0.0.1.20200520.1

May 20, 2020 1 file

0.0.1.20200516.3

May 16, 2020 1 file

0.0.1.20200509.2

May 9, 2020 1 file

0.0.1.20200509.1

May 9, 2020 1 file

0.0.1.20200503.1

May 3, 2020 1 file

0.0.1.20200502.1

May 2, 2020 1 file

0.0.1.20200429.2

Apr 29, 2020 1 file

0.0.1.20200415.1

Apr 15, 2020 1 file

0.0.1.20200411.3

Apr 11, 2020 1 file

0.0.1.20200411.2

Apr 11, 2020 1 file

0.0.1.20200411.1

Apr 11, 2020 1 file

0.0.1.20200410.2

Apr 10, 2020 1 file

0.0.1.20200410.1

Apr 10, 2020 1 file

0.0.1.20200408.2

Apr 8, 2020 1 file

0.0.1.20200407.2

Apr 7, 2020 1 file

0.0.1.20200407.1

Apr 7, 2020 1 file

0.0.1.20200404.1

Apr 4, 2020 1 file

0.0.1.20200403.2

Apr 3, 2020 1 file

0.0.1.20200403.1

Apr 3, 2020 1 file

0.0.1.20200329.2

Mar 29, 2020 1 file

0.0.1.20200329.1

Mar 29, 2020 1 file

0.0.1.20200328.2

Mar 28, 2020 1 file

0.0.1.20200328.1

Mar 28, 2020 1 file

0.0.1.20200327.3

Mar 27, 2020 1 file

0.0.1.20200327.1

Mar 27, 2020 1 file

0.0.1.20200326.4

Mar 26, 2020 1 file

0.0.1.20200326.1

Mar 26, 2020 1 file

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

Google Download Analytics

Sentry Error logging

StatusPage Status page