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

This version

1.1.0

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.1.0-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.1.0-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.1.0-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.1.0-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.1.0-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.1.0-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.1.0-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.1.0-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.1.0-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

File details

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

File metadata

File hashes

Hashes for cvc5-1.1.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 949c9f62fb0aa2b4bcf886ab9253e1d044b6ffa9d68d1445b761c79d04b815f0
MD5 c511c876d979d67f36f54d904c754c2a
BLAKE2b-256 20a5b4dbdd39b3d33e6c4bbb78311a039675af36ee159c6231a881358c907262

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for cvc5-1.1.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 936792cde0d287f5d803d437f123fa4bcad51401cd79653591526d4b51e92410
MD5 cdf3dd985d1226b01b3059ccbf9c2e49
BLAKE2b-256 eb71b9de76e588c2c786f0975388b7ed773a63c074a21f3773efaf67c388d647

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for cvc5-1.1.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e6e9f91ae29cfa8d949005c45074f8353405d8dc844a91c3f574f1b2824e69af
MD5 3eed50b2066a031672e8f8b90d8a42be
BLAKE2b-256 f2c307f8ee5f80ac8f6d6b3b6090892b59984e5739f2562fc495061b4e01ab99

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for cvc5-1.1.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 095fecadd6ef37e810346cf4ee66db1bf24dbd14f5b04b237958647b72ce36e3
MD5 7a169543b667dfacbd6075ba6f757c0f
BLAKE2b-256 c68d6a01104c4d854082de84ba1c7f2840e2b7d446b39a171d4f923cd202a487

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for cvc5-1.1.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 56f84a252418f4d9f155dc4c739358f23f0a13f2eff489ba1505e0c40d48028c
MD5 60e84885fd9cdbedaba5dd403fe820eb
BLAKE2b-256 248cf7af10d60257a26ae865753b4cf2bdc028591c76100460119f7ede8bb1c5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for cvc5-1.1.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 d275f0ee0c68252942cfe61459fd1933e933983a4d9c282e324103189a9d881d
MD5 ddd5cc3599c3918137d837fe47da1420
BLAKE2b-256 0224a0d5e0a1418a77064197fb2b9f19eaf2b54a18bd6497270441f5ce3fc466

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for cvc5-1.1.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e3c96e7c47f724ee8c7fa9e673383c13cda9949587d6d6a9a5a4f0f90455ed44
MD5 725c966e3f3d9cdefa0313ebb290fb0d
BLAKE2b-256 19b2bdd2484859500c6be744e45fc3d42cff8797a8b298caa08c9cbf51f87bad

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for cvc5-1.1.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 515cbb865a4e6c3e485e468211829c7db382be85682d406ebe992ab36d72df50
MD5 174704008978b72af1bbd2536f6edaf0
BLAKE2b-256 0b661f047aeef7ea4e1e5951dcb94a855f03ad9ad062aca70eec984a0395eb7e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for cvc5-1.1.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 7c5028bf42799c2fb04a37551ded296c7e719cd0990d2426333d5815368bcc76
MD5 a5006827de43245d92a94042b5622670
BLAKE2b-256 7d7d29a27e953c04d2f01c6edcafa6168d326ba1b95e3c5afd9cd8f0cbf32789

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