Python bindings for cvc5 (BSD version)
3 maintainers
Release files for cvc5 1.4.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distributions (wheels)
Total release size: 647.1 MB
Release files / cvc5-1.4.1-pp311-pypy311_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-pp311-pypy311_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 12.8 MB |
| Tags | Linux glibc 2.17+ x86-64 PyPy 3.11 PyPy 3.11 7.3 |
|
SHA-256 checksum How to use checksums |
effe343dbe9280bb452840b7501ac34ed241f61c770620a834a323bb6b0e8a63
|
|
BLAKE2b-256 checksum How to use checksums |
00aa04190e5f40135347916e595a08fb5797ed4de9e5d4a322e7ab60f7066d88
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-pp311-pypy311_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-pp311-pypy311_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | Linux glibc 2.17+ ARM64 PyPy 3.11 PyPy 3.11 7.3 |
|
SHA-256 checksum How to use checksums |
f0f1fd396c6b68e25b36ff2629d9d4a8c4ed94893cb23e77cdc5e654707236af
|
|
BLAKE2b-256 checksum How to use checksums |
c74a39c348a7e71b87fe83659dc30c60ba4f019aa52ed593b9e44f2d3cbb2382
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-pp311-pypy311_pp73-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-pp311-pypy311_pp73-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.4 MB |
| Tags | PyPy 3.11 PyPy 3.11 7.3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
cfb7dbf1940264a289910d9d68a9017fb48c91a2bf1f95db45abda1928ff4fed
|
|
BLAKE2b-256 checksum How to use checksums |
749942b2d680fb0bab57db8a3ab7032ee84b9457597f8202b413c9d1a4b7561d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-pp311-pypy311_pp73-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.1-pp311-pypy311_pp73-macosx_10_15_x86_64.whl |
|---|---|
| Size | 11.8 MB |
| Tags | PyPy 3.11 PyPy 3.11 7.3 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
90c7f8bab02508c59e950e645de224e4599f68687f44a216a99e782462e090fc
|
|
BLAKE2b-256 checksum How to use checksums |
78172a8279ae3e972801b507a392a04d4be099429312ebcf915d0d2a4c08a59b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-pp310-pypy310_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-pp310-pypy310_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 12.8 MB |
| Tags | Linux glibc 2.17+ x86-64 PyPy 3.10 PyPy 3.10 7.3 |
|
SHA-256 checksum How to use checksums |
77c83d7d3dda59d789c9a6bc51adb30be0eb99fea3244bdc6aed49e34e6b8774
|
|
BLAKE2b-256 checksum How to use checksums |
705a8f2c50edb171c5ee264ab28cc2717eae6153d0e05d12cf9a2c49f3ca1fc1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-pp310-pypy310_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-pp310-pypy310_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | Linux glibc 2.17+ ARM64 PyPy 3.10 PyPy 3.10 7.3 |
|
SHA-256 checksum How to use checksums |
a8794eddde4c0b36d807c7c79dd12c8b352462f0bff86612d51253b68e548fa1
|
|
BLAKE2b-256 checksum How to use checksums |
069fd6186e42daddb0c9e69ac1f6f9298fd54dee2cd13fa73c23d4771abaa05c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-pp310-pypy310_pp73-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-pp310-pypy310_pp73-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.4 MB |
| Tags | PyPy 3.10 PyPy 3.10 7.3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
f71ab2dab731ff1900c0fb0e6b7990363698af3ab081aa30a330c5bdcc31d21b
|
|
BLAKE2b-256 checksum How to use checksums |
6e3521dbb99d110b0c800a4e107eb333f45ccef337ee85b9979b4cbdc0465196
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-pp310-pypy310_pp73-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.1-pp310-pypy310_pp73-macosx_10_15_x86_64.whl |
|---|---|
| Size | 11.8 MB |
| Tags | PyPy 3.10 PyPy 3.10 7.3 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
1d099aa9e94a8154a83a3b2c8ca8a676865518dc90be8b80e762a7b26ad1bbe7
|
|
BLAKE2b-256 checksum How to use checksums |
ebf3b9dd37f076db1e0ce886f44b7e56e5eb36809bfc700a4351b7634362d3e8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-pp39-pypy39_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-pp39-pypy39_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 12.8 MB |
| Tags | Linux glibc 2.17+ x86-64 PyPy 3.9 PyPy 3.9 7.3 |
|
SHA-256 checksum How to use checksums |
49a25155afa0c130c5f7bbabac313a6172cb86943965c6ceb9ebe1f54c548b86
|
|
BLAKE2b-256 checksum How to use checksums |
e63eeea096132fc939298320e379ebe69de281053b89ace6847aaf513ced5d0f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-pp39-pypy39_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-pp39-pypy39_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | Linux glibc 2.17+ ARM64 PyPy 3.9 PyPy 3.9 7.3 |
|
SHA-256 checksum How to use checksums |
dc9c41f3bb8cea5a2c220270fdfda0d173f27a5e6a70f8cd79338c6ecccccea4
|
|
BLAKE2b-256 checksum How to use checksums |
55bf3f2ed827dc123d859dade5d8d6a56bbadea5b0f23fccea1e6eb6dece1f46
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-pp39-pypy39_pp73-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-pp39-pypy39_pp73-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.4 MB |
| Tags | PyPy 3.9 PyPy 3.9 7.3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
39575a6c2fdbef5e9c711a7631bbe8f5995113abb172fbd4bea84e0971af6cee
|
|
BLAKE2b-256 checksum How to use checksums |
e5958d5dc1e4a88cab7d859855fb70a379462e599dec857c5c995db89dfa33c4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-pp39-pypy39_pp73-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.1-pp39-pypy39_pp73-macosx_10_15_x86_64.whl |
|---|---|
| Size | 11.8 MB |
| Tags | PyPy 3.9 PyPy 3.9 7.3 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
37681c529b15285769caa5eb037047da682d78b68e6258af8342c45ee8126ec1
|
|
BLAKE2b-256 checksum How to use checksums |
4d7fc578f8ae9f0fe4b115384d2461649418b93d7975744f55dd4febda1a092e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp315-cp315-win_arm64.whl
| Download URL | cvc5-1.4.1-cp315-cp315-win_arm64.whl |
|---|---|
| Size | 11.0 MB |
| Tags | CPython 3.15 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
01c9f7ccd2ab8ab9d3ff8c5e08c40dc29ac16b6b836a1eec55e6276888a2a7af
|
|
BLAKE2b-256 checksum How to use checksums |
bf440879ffd0ff42b2fe700e7771c1856f760c7514c34ea0161ec55fb03a8c10
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.15
|
Release files / cvc5-1.4.1-cp315-cp315-win_amd64.whl
| Download URL | cvc5-1.4.1-cp315-cp315-win_amd64.whl |
|---|---|
| Size | 11.7 MB |
| Tags | CPython 3.15 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
ba8190e293fcc57144df205eef443d5d123b4df72e2756c07d31cef7e457aaea
|
|
BLAKE2b-256 checksum How to use checksums |
98929a272165f42452a5489dbbe8f1901b1dd3b01d5d20db10b6bd0fd4819d07
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
Release files / cvc5-1.4.1-cp315-cp315-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-cp315-cp315-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.2 MB |
| Tags | CPython 3.15 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
4eb830830bcae1b582bffa245db6785c9d4136284dc6a1bff4428bbcb66f38cf
|
|
BLAKE2b-256 checksum How to use checksums |
38977929a15d63ad04d6ec045af550be18012a23b96d2685a6239ae33c2264aa
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp315-cp315-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-cp315-cp315-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.5 MB |
| Tags | CPython 3.15 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
afc0e14d35b6730e3a5876b88c8299c66ca604d8837125fc1683b6160539ea57
|
|
BLAKE2b-256 checksum How to use checksums |
d00b1ad1a94359a6d4927d69298533e1b2509927a2b1c6ccc99ab9b46f6e8f61
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp315-cp315-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-cp315-cp315-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | CPython 3.15 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
5c8e391de84773ada3da4e85945b20014a81a38b52a88024a6a5d8df8a93872d
|
|
BLAKE2b-256 checksum How to use checksums |
33471519ab5dc942c984c9208bf5274da3783f94e806a7e063db12feb5921469
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp315-cp315-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.1-cp315-cp315-macosx_10_15_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | CPython 3.15 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
37a50fe4a3d76a74360a4cffbc412f2c4e441cc077e3d33ab3fc86d03ac84370
|
|
BLAKE2b-256 checksum How to use checksums |
d42cdb331399fef8f852e6b1c4d869e5daf41ae62d8cfe92ab66ecc8faf6ddfd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp314-cp314-win_arm64.whl
| Download URL | cvc5-1.4.1-cp314-cp314-win_arm64.whl |
|---|---|
| Size | 11.0 MB |
| Tags | CPython 3.14 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
a31773682e1d6c5d9bd294a7b3819a8c58aff23900f0177493d285fa41a894c3
|
|
BLAKE2b-256 checksum How to use checksums |
12371cb2eb38e39a514c8927be8d923d5f28abb1bbb45fb76feb2d9424766814
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.15
|
Release files / cvc5-1.4.1-cp314-cp314-win_amd64.whl
| Download URL | cvc5-1.4.1-cp314-cp314-win_amd64.whl |
|---|---|
| Size | 11.7 MB |
| Tags | CPython 3.14 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
66d4516393ae4ab7d305f0699c9597308261697835c59481c4882e7e0ab86d1f
|
|
BLAKE2b-256 checksum How to use checksums |
0a97550f35aaadd30d0576382313374538ad35633868510f5faee1587b116d9e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
Release files / cvc5-1.4.1-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.3 MB |
| Tags | CPython 3.14 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
dbd92fbf069b5cecb0a5ff84a736678c26c9bd244a3eff9a93d06dc586601a5b
|
|
BLAKE2b-256 checksum How to use checksums |
f0cbb090373b401f7f27cb55d58e616a933e287b854017937af57f96395add42
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp314-cp314-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-cp314-cp314-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.5 MB |
| Tags | CPython 3.14 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
bc244b0209b8af93fd24fd85939bb982457538eaf640e378734564bc204f0597
|
|
BLAKE2b-256 checksum How to use checksums |
371ffa21a349a1facc4acecf433a825fb3fb07693da628cae57634be25566822
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp314-cp314-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-cp314-cp314-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | CPython 3.14 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
400e8b21e86cecc766bccf92037c66a39575f80434b641c4973a9532494be8b1
|
|
BLAKE2b-256 checksum How to use checksums |
3844d596b468f891baa3ea3b84bc5f82d46dca262e19729ad568c262547345d7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp314-cp314-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.1-cp314-cp314-macosx_10_15_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | CPython 3.14 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
88267bdda90f894d08dac4326b90b8fdd1131d8d7f9073aada68ac9a92525f6b
|
|
BLAKE2b-256 checksum How to use checksums |
dfc640b257731da85ddbbf1fa2dfaec16080cf633ffa07f600e09a67441863ca
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp313-cp313-win_arm64.whl
| Download URL | cvc5-1.4.1-cp313-cp313-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.13 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
04df5b378444a3547d2c22dd1ef12c3a6c05ebaf349ce7396e4b358d4f7eff94
|
|
BLAKE2b-256 checksum How to use checksums |
53817e6ba0d096c360ae503d52128fe72331610662b0ec5b29fd0242eae9d374
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.15
|
Release files / cvc5-1.4.1-cp313-cp313-win_amd64.whl
| Download URL | cvc5-1.4.1-cp313-cp313-win_amd64.whl |
|---|---|
| Size | 11.4 MB |
| Tags | CPython 3.13 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
1e6e8e36e729d2d78a0c98abaa49afbe59240f314a57c9c93810b25a52bdc990
|
|
BLAKE2b-256 checksum How to use checksums |
352733a94a087234ab675040a1ffbc2e793105e7ae78d355b5e5e201b5a07725
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
Release files / cvc5-1.4.1-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.3 MB |
| Tags | CPython 3.13 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
82dbe3b91136663d6b61d4de396fafb6c7b220003a9916c6e5355eef8f5a7ed6
|
|
BLAKE2b-256 checksum How to use checksums |
a086a24eebb4cfa747401dc28337ac6927761f675b53f596dfcaf533a6397032
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp313-cp313-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-cp313-cp313-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.5 MB |
| Tags | CPython 3.13 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
f5794fff0be49f1319a34987455a3d41f3bf1f6178ffca1ffa4f128006162e77
|
|
BLAKE2b-256 checksum How to use checksums |
cf6c5bd476b34c9c43300629e7e3064f27b87a27f545df0d5371f9f67f164f2e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp313-cp313-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-cp313-cp313-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | CPython 3.13 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
616a1d9db9c8d589db6ddba825643683ba45d977e701af13d9567bf082c47bc5
|
|
BLAKE2b-256 checksum How to use checksums |
2f129da944bdd766f3bca1ff04febda93ebe57731dc25743c3b654c3b3958fd6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp313-cp313-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.1-cp313-cp313-macosx_10_13_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | CPython 3.13 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
d1f4135080e043b178b36093b5cec3c126178ffe105b218328eebb48186c3179
|
|
BLAKE2b-256 checksum How to use checksums |
dde87522786d0be7815c55beeb9f9b06e9a2d0c1dbfc6b0fa75d022301d959a6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp312-cp312-win_arm64.whl
| Download URL | cvc5-1.4.1-cp312-cp312-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.12 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
4c3935f8b156ad2d9dc2289b6a82ee666ac4c6e0dc3bda903920494684774e23
|
|
BLAKE2b-256 checksum How to use checksums |
feff1e4904653f22ecae596212533310aaf9cd045c1e0183d7bc11190dbe227c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.15
|
Release files / cvc5-1.4.1-cp312-cp312-win_amd64.whl
| Download URL | cvc5-1.4.1-cp312-cp312-win_amd64.whl |
|---|---|
| Size | 11.4 MB |
| Tags | CPython 3.12 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
0f1159cb7659c6b7c1b66dc8d1c1e848f145930b283a0077a24b8ac1feb8efe3
|
|
BLAKE2b-256 checksum How to use checksums |
62d8a29413e0cd6af5e71541a4ec536133087a53dadbf22efe9b953f5814ad3b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
Release files / cvc5-1.4.1-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.3 MB |
| Tags | CPython 3.12 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
b500778bf57cf8ab3dc7fbe1b7d869f9c270060e11c25b362141e26f6fc5052e
|
|
BLAKE2b-256 checksum How to use checksums |
00fe35dd297b52776abc35faaf03fec9432224493793165141899aa6516ea8f0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp312-cp312-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-cp312-cp312-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.5 MB |
| Tags | CPython 3.12 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
515f64c230b5976ba2dddca6b3a7a10c57e998b8e1b6478e960eef3466f4bd11
|
|
BLAKE2b-256 checksum How to use checksums |
1757d64805da961127d817033141c57a36d018c8f67f6d0565b00794bd485e00
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp312-cp312-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-cp312-cp312-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | CPython 3.12 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
aa3e05423064c9fd74102738c79b7ff9a1d53e3cbac85494d3ab23df3758518b
|
|
BLAKE2b-256 checksum How to use checksums |
78f12a34a24a5841518610337e8147053381ded5a767f6e9a8a600a9e7e90e27
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp312-cp312-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.1-cp312-cp312-macosx_10_13_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | CPython 3.12 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
a9d6bacd0879592de6db3c38e3dd9501b86ec57fc8bb54baf7533ddd5a7522be
|
|
BLAKE2b-256 checksum How to use checksums |
24e94f6a4235dac1bfb101fbc006d4c429348be854680038f2ff9cda417eaa73
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp311-cp311-win_arm64.whl
| Download URL | cvc5-1.4.1-cp311-cp311-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.11 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
15bff73ba3ca89490f3f2caec72ea8811e94f75af76eead3f20786440d66dfd0
|
|
BLAKE2b-256 checksum How to use checksums |
f2a82914d2a0909e81e39f0686eb9478837e304bb6be2e8c8ad8e52010097c75
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.15
|
Release files / cvc5-1.4.1-cp311-cp311-win_amd64.whl
| Download URL | cvc5-1.4.1-cp311-cp311-win_amd64.whl |
|---|---|
| Size | 11.4 MB |
| Tags | CPython 3.11 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
82a10ab0a06498319e480d40795a07f7464289f515541fc9f55aebfd536b8192
|
|
BLAKE2b-256 checksum How to use checksums |
15a109ab8891a7bb16c73ea514aaf324b08791fba5a5e234b8587b82b1b7b749
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
Release files / cvc5-1.4.1-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.3 MB |
| Tags | CPython 3.11 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
885d95f01fc02ea22041f5917bcb48994f607f4c2c76905e552ba0c8894b040e
|
|
BLAKE2b-256 checksum How to use checksums |
dd22dc25ccf81904d1bfdd840b14094cc9fe9c9df2674d206b5ed1bd585b90d0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.5 MB |
| Tags | CPython 3.11 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
942e364c0c7083b17b6c6501eb3eb4d460fda285c06791d4642216625610eb0e
|
|
BLAKE2b-256 checksum How to use checksums |
ee2e32435bf9e02dbbeee380779b1e4a87a5856da59ae3e31ec79a57be2d3caa
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
60a1b01210cfd922ffdefdf50e0b32a651e935247e871d20324036ad36b0c89a
|
|
BLAKE2b-256 checksum How to use checksums |
5726cedf39929d031b1bb3664f97e69c08dde09d24850b283d92810a2999fc9c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp311-cp311-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.1-cp311-cp311-macosx_10_13_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | CPython 3.11 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
7212845bac23af80ccc90491867477f9127e4914786730ec3b342fdfb48e78eb
|
|
BLAKE2b-256 checksum How to use checksums |
fdcd3d38da7f2abf4642c98168ec6849d8bfacd3b65ac81a4706839ea062ad8a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp310-cp310-win_arm64.whl
| Download URL | cvc5-1.4.1-cp310-cp310-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.10 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
91c376f324a11e1a1a6f5b64a2c3522e5235b8de207143fca926e9a7fc135fba
|
|
BLAKE2b-256 checksum How to use checksums |
688243afda9246529a9354387183f3d206099c0cbe6cfda3912daf7c7038eb5a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.15
|
Release files / cvc5-1.4.1-cp310-cp310-win_amd64.whl
| Download URL | cvc5-1.4.1-cp310-cp310-win_amd64.whl |
|---|---|
| Size | 11.4 MB |
| Tags | CPython 3.10 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
7e66031f6976e90da7c30cdfc33f5db0814c3ed37055c4d05996cdbf0396deab
|
|
BLAKE2b-256 checksum How to use checksums |
4c4b953f6a058e68be17261b27974a5d51d8901567f88750e221e0e83dae7439
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
Release files / cvc5-1.4.1-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.2 MB |
| Tags | CPython 3.10 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
c6003d6bd122418428fb387747ff525d51547a311280f8ff52577abc9c427afd
|
|
BLAKE2b-256 checksum How to use checksums |
13e4ed674c77651ab34a883eb3339d7a165ed9f6c03b33282d48ed31550a6308
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp310-cp310-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-cp310-cp310-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.5 MB |
| Tags | CPython 3.10 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
e2b1ba84dd0ee357e67dc645d4248a65b375466ea6669e798a33de1f7b611daf
|
|
BLAKE2b-256 checksum How to use checksums |
d37b0ad36c0aa6c7908aa87d3389efbb7e4aefcc0697425297be80728b1b7be8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp310-cp310-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-cp310-cp310-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | CPython 3.10 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
60bce332304e5c1e68e309471a042f554d354e18f6908033d39e13d83381432e
|
|
BLAKE2b-256 checksum How to use checksums |
5de75b922bc6ce3a723ccf5be83639e9e2cf6460e7faed43c5773e3664a37b37
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp310-cp310-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.1-cp310-cp310-macosx_10_13_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | CPython 3.10 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
0e61ab9622394784931aee29fb868e79b5e201bf270a0ddd31acc9133904d4ea
|
|
BLAKE2b-256 checksum How to use checksums |
bc315b8c881c90c87edb50c75c0364b2d5594234a650449998575920a53ec1fb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp39-cp39-win_arm64.whl
| Download URL | cvc5-1.4.1-cp39-cp39-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.9 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
81226e7e27916d7b16cbff81b94ac277971592e8d12fa47581fe0a2e6e1b54b4
|
|
BLAKE2b-256 checksum How to use checksums |
6743bda56451037e727abebae8d822e1332b81b5a7e466a9c22c1cef5cf6734c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.15
|
Release files / cvc5-1.4.1-cp39-cp39-win_amd64.whl
| Download URL | cvc5-1.4.1-cp39-cp39-win_amd64.whl |
|---|---|
| Size | 11.4 MB |
| Tags | CPython 3.9 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
cc06df7ca080eb9472563fb9c287d78f3ba87c209b1a3f4a187cd4f6663236c5
|
|
BLAKE2b-256 checksum How to use checksums |
2fc89a81f9f60aef89abb2c5573bcdfe586c49215389365fd01a6bb193e8c7ea
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
Release files / cvc5-1.4.1-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.1-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.2 MB |
| Tags | CPython 3.9 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
71911188410a99db40be959c78531d4b32a1c580ae0763200e176c1ee67d29f1
|
|
BLAKE2b-256 checksum How to use checksums |
15cb46da6a98b608c4d6935cf8add42525f98142b64fb4949afc33ad6dd95f36
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp39-cp39-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.1-cp39-cp39-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.5 MB |
| Tags | CPython 3.9 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
269a70d3e80789b5af72c77e778487cd0fed8a400eb9f32e6bb23e0c809202bb
|
|
BLAKE2b-256 checksum How to use checksums |
3b0d1904604b34eb2f2316c85d56c19e85fd11ea6166ba9a5f02b1409897c1a7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / cvc5-1.4.1-cp39-cp39-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.1-cp39-cp39-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | CPython 3.9 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
5f17a69220d25f1cb5617e19856c7e374cd344be4c9de17db5a3e76dbfb16061
|
|
BLAKE2b-256 checksum How to use checksums |
c4645f164ad58607c7c174c763eaf0b5789bf08d93529291107b93f4ae9eda0f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
Release files / cvc5-1.4.1-cp39-cp39-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.1-cp39-cp39-macosx_10_13_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | CPython 3.9 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
37c1f73bd1bcce097ef1c49e45c08ed7d6ca657e3a001c142b287bb1649b5a5e
|
|
BLAKE2b-256 checksum How to use checksums |
4f47656a0e714933be4593ab1b21a26bbe4abb483916c5937d12cde9117668fe
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
