No project description provided

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for cvc5 from gravatar.com cvc5 Avatar for daniel-larraz from gravatar.com daniel-larraz Avatar for mpreiner from gravatar.com mpreiner

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: BSD-3-Clause
Report project as malware

Project description

Python bindings for cvc5

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for cvc5 from gravatar.com cvc5 Avatar for daniel-larraz from gravatar.com daniel-larraz Avatar for mpreiner from gravatar.com mpreiner

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: BSD-3-Clause

Release history Release notifications | RSS feed

1.3.3

1.3.2

1.3.1

1.3.0

1.2.1

1.2.0

1.1.2

1.1.1

1.1.0

This version

1.0.9

1.0.8

1.0.7

1.0.5

1.0.1

1.0.0

0.0.12

0.0.11

0.0.10

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 Distributions

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

cvc5-1.0.9-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (10.6 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ x86-64

cvc5-1.0.9-pp310-pypy310_pp73-macosx_10_13_x86_64.whl (10.9 MB view details)

Uploaded PyPymacOS 10.13+ x86-64

cvc5-1.0.9-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (10.6 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ x86-64

cvc5-1.0.9-pp39-pypy39_pp73-macosx_10_13_x86_64.whl (10.9 MB view details)

Uploaded PyPymacOS 10.13+ x86-64

cvc5-1.0.9-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (10.6 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ x86-64

cvc5-1.0.9-pp38-pypy38_pp73-macosx_10_13_x86_64.whl (10.9 MB view details)

Uploaded PyPymacOS 10.13+ x86-64

cvc5-1.0.9-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (10.6 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ x86-64

cvc5-1.0.9-pp37-pypy37_pp73-macosx_10_13_x86_64.whl (10.9 MB view details)

Uploaded PyPymacOS 10.13+ x86-64

cvc5-1.0.9-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (10.6 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

cvc5-1.0.9-cp311-cp311-macosx_10_13_universal2.whl (10.9 MB view details)

Uploaded CPython 3.11macOS 10.13+ universal2 (ARM64, x86-64)

cvc5-1.0.9-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (10.6 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

cvc5-1.0.9-cp310-cp310-macosx_11_0_x86_64.whl (10.9 MB view details)

Uploaded CPython 3.10macOS 11.0+ x86-64

cvc5-1.0.9-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (10.6 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

cvc5-1.0.9-cp39-cp39-macosx_11_0_x86_64.whl (10.9 MB view details)

Uploaded CPython 3.9macOS 11.0+ x86-64

cvc5-1.0.9-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (10.6 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

cvc5-1.0.9-cp38-cp38-macosx_11_0_x86_64.whl (10.9 MB view details)

Uploaded CPython 3.8macOS 11.0+ x86-64

cvc5-1.0.9-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (10.6 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.17+ x86-64

cvc5-1.0.9-cp37-cp37m-macosx_11_0_x86_64.whl (10.9 MB view details)

Uploaded CPython 3.7mmacOS 11.0+ x86-64

File details

Details for the file cvc5-1.0.9-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 a88b4f8f9130ef0dcd58d42c76236c7c965411803b346d3f104f0d718c6e2f19
MD5 5581639035b3775b47c60d2c2c53c9f7
BLAKE2b-256 f13b0ca5bfcf9e82a67475f6015a6ea3fb26a7f9e4a24e6c0a88ff84ba98db70

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-pp310-pypy310_pp73-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-pp310-pypy310_pp73-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 f7fa1f89295cac20e0682e39f88d4324175297c8e3c079a41d973a8d574522c2
MD5 09acc2b6643d1662b7aebd3375d04337
BLAKE2b-256 fc4c30882f7edce614d31aa9616e6a6e4e94e315c686e710a594997d4f284fe1

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c94ae821ee048dd8411f8ce0a9dc6e0f2f3ee96e2d98b2c048c6081f5bad131e
MD5 29469fafa8b98da8646ff32a0ea7281e
BLAKE2b-256 e78cab32cc4546d25a006e9dfd198c115b4eba3308d42c85ca6c29ffc1f2c8c8

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-pp39-pypy39_pp73-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-pp39-pypy39_pp73-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 a0c75ba83e79a76850ddb18f4f4b9a97faee84efe4a13ef13d9b782ddde2de62
MD5 7c6f8f15f51495ba75d8af7da6f00fae
BLAKE2b-256 2ac794a8bcede71accb8fb24fa473dc75800354e07c3e6e2dfb082adbba71f62

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 efdff9cb2f85bdd35b2e906b1f0f6c29e90085de6dc61a46822b668e3f05203f
MD5 5f2a5f21ecad3686d5bfaca90c98cd8a
BLAKE2b-256 6423fdddfe0a13070bef0633cc648a8950bcb311cf7b7078ac321ffba5866b70

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-pp38-pypy38_pp73-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-pp38-pypy38_pp73-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 387355c6adef051605f8b4d71b203f232d44e72ac6f7d2165f7eaac18dcdb144
MD5 de622897f25f7cb8184a2a4a555254be
BLAKE2b-256 e96704cde04493d03c340a81f76e3b746061169d01f109a95adc58c35b368df0

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 95988f965cb19d28b2f047ecad9e5f7bd565a73c935b7b8ecf7b717c4f7ab4ae
MD5 625ba95be7876b906ab0f34114da8ee5
BLAKE2b-256 6d3ab59c9d61e038c5f5f5c6b2b9db7c5bfdd41466316ac1c4a04a3687ff9c62

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-pp37-pypy37_pp73-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-pp37-pypy37_pp73-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 6a00da50aa14108c640b169cadaac458d7695ab37b00aad7ffa78c83db1488a2
MD5 fbe72f0dee79e23b57432e0e1a48f71f
BLAKE2b-256 7120d520fc85e077116ff1eb857f7ca1e2f7edde855147cc347879eb0ff688a1

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 11dfb71b70a5cee2eabc3019475a2cd086565b838e329554b1b315697a2e2665
MD5 4defec89046a8b32004aaebd01622024
BLAKE2b-256 c3edaf42d2a2a121815310a7d4695632dee29129c2ef2765500be0fbccf3956c

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp311-cp311-macosx_10_13_universal2.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-cp311-cp311-macosx_10_13_universal2.whl
Algorithm Hash digest
SHA256 e4efec05aab8abfdb49432edb2b3fc6c76f0f68ea7b43ba6627a2af042166c85
MD5 3e655829d7a2902c3a702ee925cd1d00
BLAKE2b-256 787f641a1ff737eac9bd941ccfd07e9baf16f9794a94a121e0c7d81d4ce4a836

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 4acb7643a990d552e0b5672c08216f8b01ad13acb8b13f052d5d041af6f142e5
MD5 952a4550167426ba297dc116f3d850e7
BLAKE2b-256 7f9a7fe6d16d78d2163fd2ff861f41dece52edb3750b1d0aa4f16fd2073761d9

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp310-cp310-macosx_11_0_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-cp310-cp310-macosx_11_0_x86_64.whl
Algorithm Hash digest
SHA256 dd2c716a5a9f9e254a52455b85f9af0d859925d82c6f9bbfab2f1dbabda83f4c
MD5 b72fe073372f2393969f63d5025ecc81
BLAKE2b-256 da8a7a41d09808db1fbcb6a2b102a7f97a4ba865270002d15d85f30a41ce573f

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 802671220306eb655bdad8295b19ec7b33def31334c8cb20b67f1858a02d9d5d
MD5 b402647a3887a21abc5cb2827e057dd0
BLAKE2b-256 d01d7efe3ee93cddf7367fdaee74d3af808e2f8af039bd6d22a305d4759ae0f8

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp39-cp39-macosx_11_0_x86_64.whl.

File metadata

  • Download URL: cvc5-1.0.9-cp39-cp39-macosx_11_0_x86_64.whl
  • Upload date:
  • Size: 10.9 MB
  • Tags: CPython 3.9, macOS 11.0+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.12.1

File hashes

Hashes for cvc5-1.0.9-cp39-cp39-macosx_11_0_x86_64.whl
Algorithm Hash digest
SHA256 7c61265f9c618a2d4f5e142cb24bec3ebad0bbe9e960e3b9e2da0d233923f4ca
MD5 c06bdd4ded77381e63585fd7420aabfc
BLAKE2b-256 3757987ba5508d64d1be8766b9d6476272b78358f84e346991c6745ba31f7e93

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 de6ba28773eca74414be6dad4b21311148752bbbff2adb931f3d03048a8d6d83
MD5 ad5f65cc7f33374ac05b4f0df03de1d2
BLAKE2b-256 db9e68c9d7b44c864e4db9e042dc4a9e718c744be77185fc7d3a412ff0a25462

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp38-cp38-macosx_11_0_x86_64.whl.

File metadata

  • Download URL: cvc5-1.0.9-cp38-cp38-macosx_11_0_x86_64.whl
  • Upload date:
  • Size: 10.9 MB
  • Tags: CPython 3.8, macOS 11.0+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.12.1

File hashes

Hashes for cvc5-1.0.9-cp38-cp38-macosx_11_0_x86_64.whl
Algorithm Hash digest
SHA256 4b5c634347b773572cd63e8e422383d7bf25001c8f3af819a9b89895932e8d85
MD5 5f91c2d54f34a9a1ab86288da3bddd87
BLAKE2b-256 68966e7f84a55cd88470d445ecb357d8ec373e04bf9b372abcaa5ca9e7e89f20

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3da97a1ec11d130dc7a0b52b9dcc79a7f80fdd3b8b368250a0924b18539265b1
MD5 e48808d4b3c4f80150b9edaaaa886506
BLAKE2b-256 98b152cab2b416577e2e6450124b6079142ad00f6f69c058e2cdaaa86de67cd2

See more details on using hashes here.

File details

Details for the file cvc5-1.0.9-cp37-cp37m-macosx_11_0_x86_64.whl.

File metadata

File hashes

Hashes for cvc5-1.0.9-cp37-cp37m-macosx_11_0_x86_64.whl
Algorithm Hash digest
SHA256 93f2a57bc797374d027d0a7b66f6c1071f69546f771db0d85f81a6c36104aa63
MD5 14feb53402aa417ffedc3d2a133b1d23
BLAKE2b-256 509fa76e6b0815ee7ff425711ac2005152b6e282d7ad92748d217955d8fd3db1

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page