Python bindings for cvc5 (BSD version)
3 maintainers
Release files for cvc5 1.4.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distributions (wheels)
Total release size: 651.6 MB
Release files / cvc5-1.4.0-pp311-pypy311_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-pp311-pypy311_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 12.9 MB |
| Tags | Linux glibc 2.17+ x86-64 PyPy 3.11 PyPy 3.11 7.3 |
|
SHA-256 checksum How to use checksums |
be551771bc5e369ea34a4e5fb34d8714ed7790fa2323e9c07bbd5d1e6d54506a
|
|
BLAKE2b-256 checksum How to use checksums |
a4fb6b255ac25ecbb2019500505b205bc8960dbb819218fc7df59103e59df556
|
| 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.0-pp311-pypy311_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-pp311-pypy311_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 12.1 MB |
| Tags | Linux glibc 2.17+ ARM64 PyPy 3.11 PyPy 3.11 7.3 |
|
SHA-256 checksum How to use checksums |
e0a7eaad9a02322747495ff0aaabcf4cc824db1a885f0bb6f96d9c17b0fc1289
|
|
BLAKE2b-256 checksum How to use checksums |
653f77c417fc9c1986bc7b5f0665423189df689bacc97be02ad89cb20080d978
|
| 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.0-pp311-pypy311_pp73-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-pp311-pypy311_pp73-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | PyPy 3.11 PyPy 3.11 7.3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
501e8d136476a98401789e15a8ef61f80271aa0d597e8fe05f6238b23a17c776
|
|
BLAKE2b-256 checksum How to use checksums |
a68a958876ba6928fbf0b4fb4af261960606cd05e304606acf90a7391d9f61d8
|
| 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.0-pp311-pypy311_pp73-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.0-pp311-pypy311_pp73-macosx_10_15_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | PyPy 3.11 PyPy 3.11 7.3 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
1885c5a761e3a94b5b2a08d7031a330d6548d9e0140b323038b79b39c52104d4
|
|
BLAKE2b-256 checksum How to use checksums |
bd833438626b3993fba7cb71d13815c32ed8b94f96b9f94455f9a76533fc4a6f
|
| 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.0-pp310-pypy310_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-pp310-pypy310_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 12.9 MB |
| Tags | Linux glibc 2.17+ x86-64 PyPy 3.10 PyPy 3.10 7.3 |
|
SHA-256 checksum How to use checksums |
ad9f7e51a6a7b6e5fea8bef43721d1a8236d8fab07bc895cc11fc7d68dc73308
|
|
BLAKE2b-256 checksum How to use checksums |
b0eda775bfbdd8dd78fb8cb3f3d1fb1e6076c839b38fdf633601703b0028ad85
|
| 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.0-pp310-pypy310_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-pp310-pypy310_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 12.1 MB |
| Tags | Linux glibc 2.17+ ARM64 PyPy 3.10 PyPy 3.10 7.3 |
|
SHA-256 checksum How to use checksums |
c0f5056364e89cc8d5cd1f3541f2cb06e77e71488b332f0deb0b5b030a4b2a07
|
|
BLAKE2b-256 checksum How to use checksums |
1ff6de6502d579cc4c4f93f01eaa93633beafaef92fb247791f9c8267a5f866a
|
| 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.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | PyPy 3.10 PyPy 3.10 7.3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
077c70d0b784abc6ff874302afd16d6057ef0efd198820c4075585e05c51c06c
|
|
BLAKE2b-256 checksum How to use checksums |
260fa9f6c9b3cafc4b7bd3e9df4f0751afe659fe367270e5fa9f132008729fef
|
| 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.0-pp310-pypy310_pp73-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.0-pp310-pypy310_pp73-macosx_10_15_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | PyPy 3.10 PyPy 3.10 7.3 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
405abf8de3eae64441851a623de6be518c27730268ff535463f3a320024a14c5
|
|
BLAKE2b-256 checksum How to use checksums |
e2852dc59fbc5af33419e274c5173d106d32ae9caf34731091e08a9a5662d832
|
| 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.0-pp39-pypy39_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-pp39-pypy39_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 12.9 MB |
| Tags | Linux glibc 2.17+ x86-64 PyPy 3.9 PyPy 3.9 7.3 |
|
SHA-256 checksum How to use checksums |
854b9f9ffd44863d2c25aab77673fe7eca6d190195fea8011f0f8b94becf63f9
|
|
BLAKE2b-256 checksum How to use checksums |
8903f62145fe9b2e135ba71e78e8f550e3465e6d02f1efd58936160bad8ea9b1
|
| 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.0-pp39-pypy39_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-pp39-pypy39_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 12.1 MB |
| Tags | Linux glibc 2.17+ ARM64 PyPy 3.9 PyPy 3.9 7.3 |
|
SHA-256 checksum How to use checksums |
35955f1b7aab231939dd22e875027bbc8ed8de5563103cd18eab93ca08bd5fcd
|
|
BLAKE2b-256 checksum How to use checksums |
47925b3bc9bb36337c449d8a2121971c9ccd63c020e27ba003966b25317c2dc9
|
| 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.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.5 MB |
| Tags | PyPy 3.9 PyPy 3.9 7.3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
99c2862d89b0922e68a8c8f9e7c282936f2f445030e3dca110bc59b8fe15306d
|
|
BLAKE2b-256 checksum How to use checksums |
063698f1e45bea81e9a8c42d7bcd3ba970c5418e791d0e4dd8bdb0fad57e7d1b
|
| 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.0-pp39-pypy39_pp73-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.0-pp39-pypy39_pp73-macosx_10_15_x86_64.whl |
|---|---|
| Size | 11.9 MB |
| Tags | PyPy 3.9 PyPy 3.9 7.3 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
34f199709ffebfd18df14df2fef0b5cdb4041870e40aff8697d215dec8ffe3ac
|
|
BLAKE2b-256 checksum How to use checksums |
8828653cd3cabd596961990524dcb9f348317207ee623a52a1b9967a4c8e307a
|
| 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.0-cp315-cp315-win_arm64.whl
| Download URL | cvc5-1.4.0-cp315-cp315-win_arm64.whl |
|---|---|
| Size | 11.1 MB |
| Tags | CPython 3.15 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
ca6854a9c14b6a9f711f514c82fd74c141a8dedce1a6929771d34f2869583315
|
|
BLAKE2b-256 checksum How to use checksums |
abf6afc7d2213df67e54fe9d3573612e8ef2b854f9bcfdd829a0635a07f39ce5
|
| 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.0-cp315-cp315-win_amd64.whl
| Download URL | cvc5-1.4.0-cp315-cp315-win_amd64.whl |
|---|---|
| Size | 11.8 MB |
| Tags | CPython 3.15 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
33ee95b7bc5b262877d8a63f61b3fe20f2b22ef6cffa19f1e5a9839a6f26d4e0
|
|
BLAKE2b-256 checksum How to use checksums |
c36833e280ba57668efbdbb62d43e847cec9f39fee3a9cf6465e07841ff798c6
|
| 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.0-cp315-cp315-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-cp315-cp315-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.3 MB |
| Tags | CPython 3.15 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
fb7bc14563512ccccad628b7ea8351c3e86c3101b25636ff99f13150bf2c1c88
|
|
BLAKE2b-256 checksum How to use checksums |
0b720485384c22387a595c94d70185982c26e01983b599527383c77c5ab2e887
|
| 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.0-cp315-cp315-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-cp315-cp315-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.6 MB |
| Tags | CPython 3.15 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
db69f4471538ab5498da60fe08a462327e28eb195d9729b8678f6113745fef52
|
|
BLAKE2b-256 checksum How to use checksums |
89aa61396a797961581c7ee4856ed4a4d6cdccfe1a8fffe29ba35ec8049305b1
|
| 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.0-cp315-cp315-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-cp315-cp315-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.15 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
e7baa6828f9b12c45c09ac86c445eb7d5e52377df3669ac0df529c9dcae2dc8a
|
|
BLAKE2b-256 checksum How to use checksums |
8794da6e3b5ed177bc919ac9deb2a8bdf4b6cf9140bc6891bd18fe36c19c824d
|
| 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.0-cp315-cp315-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.0-cp315-cp315-macosx_10_15_x86_64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | CPython 3.15 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
75f9a687b1b1235745419d48d06054849285ec5f241aa89b68d4cc8d7e66072d
|
|
BLAKE2b-256 checksum How to use checksums |
eacb9b3b753867a031756a19f73d1d2cc79438d764edc315627b84623e118aa6
|
| 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.0-cp314-cp314-win_arm64.whl
| Download URL | cvc5-1.4.0-cp314-cp314-win_arm64.whl |
|---|---|
| Size | 11.1 MB |
| Tags | CPython 3.14 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
70466ccb316d25739c50cfe34fcaf6b8bcc3cc6c06fe1a853d27b7f0c4f0d9e4
|
|
BLAKE2b-256 checksum How to use checksums |
7bae88b8fa55b8252db28e637784a007405135ac50bac86d7c437ae5b922d86a
|
| 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.0-cp314-cp314-win_amd64.whl
| Download URL | cvc5-1.4.0-cp314-cp314-win_amd64.whl |
|---|---|
| Size | 11.8 MB |
| Tags | CPython 3.14 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
ec1aca42fcef0ece56d50d4ef4cadc17e4f966f10733e2450034e6ce108fc64f
|
|
BLAKE2b-256 checksum How to use checksums |
bd1eadfc6ad3d1ea59d8b8e9be9a910493f09beea6f4267e9585bc2e328f9009
|
| 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.0-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-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 |
fec18fccb6404c26703d9098956554988993b9d033ba3557f5ec80dc3faff9ba
|
|
BLAKE2b-256 checksum How to use checksums |
705b8e5557674c9d1a6a7d31c2e266f469e14a5e30bd72dee4d51b7882f554c5
|
| 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.0-cp314-cp314-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-cp314-cp314-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.6 MB |
| Tags | CPython 3.14 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
4accdf661d50fbd9acf6ed9e5712b03cf36a859c82dd94a3b72ae15629b4c56b
|
|
BLAKE2b-256 checksum How to use checksums |
1afd026c77878b0c6ea7f6f2a0532cd45bc7f63e80c49543eed7e677f5d3af48
|
| 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.0-cp314-cp314-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-cp314-cp314-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.14 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
cdbbec021a7cf5fb8185e5b2a1db60c8331a66e5b7b4df4f897fb69c60d3b285
|
|
BLAKE2b-256 checksum How to use checksums |
d1439917d1035c9cd97c2e48ccf25069752e83303bb4f8424698ccc9cecc8e82
|
| 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.0-cp314-cp314-macosx_10_15_x86_64.whl
| Download URL | cvc5-1.4.0-cp314-cp314-macosx_10_15_x86_64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | CPython 3.14 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
5bd7e11b98dc4f1476b50265ccb8eec201c1cc02997d37075507421afe3ed8a2
|
|
BLAKE2b-256 checksum How to use checksums |
5c5ca622ac5f595855ee2754d12ceb29b53d88f416c4aa4d72937fd97d81f51b
|
| 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.0-cp313-cp313-win_arm64.whl
| Download URL | cvc5-1.4.0-cp313-cp313-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.13 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
d1038e3edbbc67e89b80b3a8882400238cfd2c513b6102564c267259155fa3b1
|
|
BLAKE2b-256 checksum How to use checksums |
2836dbe4e9c716988664229bf7019e58b1735ee87348ef3268046a258676a248
|
| 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.0-cp313-cp313-win_amd64.whl
| Download URL | cvc5-1.4.0-cp313-cp313-win_amd64.whl |
|---|---|
| Size | 11.5 MB |
| Tags | CPython 3.13 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
348e6b3f61c2445ee10c46ad2616989c8feb5a2e17b05c184737bfb28ffff0da
|
|
BLAKE2b-256 checksum How to use checksums |
a4c4560b330cc6ff3883fcfa126eb40758d7111d7255e281c1c24eb0a76fe565
|
| 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.0-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-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 |
652d43d3dfd31017efcdec0b44c4c157bf53e066426e04d0aa79bb97291cddae
|
|
BLAKE2b-256 checksum How to use checksums |
5580ab2d8447a3369b2cf848a7e4c922f877e463173d83d19b87f72e5189b9f4
|
| 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.0-cp313-cp313-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-cp313-cp313-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.6 MB |
| Tags | CPython 3.13 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
71f018d3734a5fb84f6d41abb20d63881003a397d53d26c673621a8a92b9d7b8
|
|
BLAKE2b-256 checksum How to use checksums |
dfa86e9fa142f5669b90b62af2dd8bb9a6bbf4ac788487682f095e89914debfd
|
| 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.0-cp313-cp313-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-cp313-cp313-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.13 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
e361b9c2fef60b0751a859441faf3bdee413605531e056957be80356848f0412
|
|
BLAKE2b-256 checksum How to use checksums |
a4237630cb759559df57d7517f750bb5a3b8f4338a8e711929782f1f483bd14e
|
| 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.0-cp313-cp313-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.0-cp313-cp313-macosx_10_13_x86_64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | CPython 3.13 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
6365292107c38be3a526cd6bf9b3f55b534bdf3433331372109fda7e508442e8
|
|
BLAKE2b-256 checksum How to use checksums |
d670e5b918707240827701d5609a6630cf42a558534b83f28ef53c62a23625cf
|
| 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.0-cp312-cp312-win_arm64.whl
| Download URL | cvc5-1.4.0-cp312-cp312-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.12 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
f94702e4e201166b1d399158d3a1feef08c7cb78a847c7d3f6a8f173d461df57
|
|
BLAKE2b-256 checksum How to use checksums |
5934944cfc99c77b162c59a5883e57d2083cd7f52a1e4d1db217f4fc07909c45
|
| 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.0-cp312-cp312-win_amd64.whl
| Download URL | cvc5-1.4.0-cp312-cp312-win_amd64.whl |
|---|---|
| Size | 11.5 MB |
| Tags | CPython 3.12 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
581bbb150d82019c2adbef4600bd1ec3fe77190ee6320aad3df39ddabc4eb3a7
|
|
BLAKE2b-256 checksum How to use checksums |
fc0199644d0d3a235f5eb8fef387c07b18731920b372230be3aebf2ef6e65eac
|
| 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.0-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-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 |
dd4f7bf0007f3dadd224415a9a26311b243105996397c256af7bd640c9a9d04e
|
|
BLAKE2b-256 checksum How to use checksums |
1d7d10e10084f0a2825f67ce1bff7f002800123499e75ab895c39e6c7aa6baab
|
| 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.0-cp312-cp312-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-cp312-cp312-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.6 MB |
| Tags | CPython 3.12 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
533019aa57401bec273aab4c31d593285f23d863a19c3f127b4634ac68422fe6
|
|
BLAKE2b-256 checksum How to use checksums |
5971bdc59d948dfcc0d6e275040d095ad3b28ea4a35756f00a3c35b497442926
|
| 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.0-cp312-cp312-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-cp312-cp312-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.12 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
eb2b23c63a1ce7df081a1f4633a463c04126198235ca06a85f4b414731af7ed1
|
|
BLAKE2b-256 checksum How to use checksums |
6e3a987114847d1763179c6bd2531a37b75ed11e5c577cf43330cb5d12c74ad6
|
| 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.0-cp312-cp312-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.0-cp312-cp312-macosx_10_13_x86_64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | CPython 3.12 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
0a310814753f425e818cd4d675ac57c5dbe65f32328c6af3ac3e3339c98b7940
|
|
BLAKE2b-256 checksum How to use checksums |
f135471c6b8dd8afb12de4b0cb9e1264a9c740b14478b5cf476dec7c6ad73b49
|
| 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.0-cp311-cp311-win_arm64.whl
| Download URL | cvc5-1.4.0-cp311-cp311-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.11 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
9a1b00484ae407c77a7dabd51b902a0a3e5be2fdcec668ad8fbb98e3f061adeb
|
|
BLAKE2b-256 checksum How to use checksums |
b6c468b5d65b7e15d8696087f20740ac7d4a0b34649988d3bb51dee44698382e
|
| 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.0-cp311-cp311-win_amd64.whl
| Download URL | cvc5-1.4.0-cp311-cp311-win_amd64.whl |
|---|---|
| Size | 11.5 MB |
| Tags | CPython 3.11 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
09d5c9d92fa7ec4b0060bd02b7152bc349e13ac12d8899ccef6f1691f1be48eb
|
|
BLAKE2b-256 checksum How to use checksums |
dde6850fb22586cfc2f6ea9816ca87e0660bb195194c349dd87c5ae76f8f91bd
|
| 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.0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.4 MB |
| Tags | CPython 3.11 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
8bde7e7e725a0910510a771d67e34b2a015c477b976f0e24616458e8c935271c
|
|
BLAKE2b-256 checksum How to use checksums |
ce130d4237ce2a689df41fdee52adff0624b5f2937d97deb1516f3d8cfff0009
|
| 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.0-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.6 MB |
| Tags | CPython 3.11 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
a6d40e23f5034449e83dc41180b354d2cf91e7837c236206eac629bde52caf12
|
|
BLAKE2b-256 checksum How to use checksums |
58d299c0c44ccbe1b25cd68a7da39025721ec77b6ab4a8e61865a643bbfcae2f
|
| 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.0-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
1a88f52026806551bfd77fe0c8f2f95baab7242cac309be48f9e0cd40081c1f5
|
|
BLAKE2b-256 checksum How to use checksums |
0ae77b933db64ff190752bd6c1bd7bce6f154d9bd037b55292a47896fc5c30bf
|
| 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.0-cp311-cp311-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.0-cp311-cp311-macosx_10_13_x86_64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | CPython 3.11 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
c57e2db0cfde4974c00ad6ac0a844e623898fb5b219616e371f70811fa2d70bb
|
|
BLAKE2b-256 checksum How to use checksums |
2482667df2bda78060a34758ab39e390dc1133524d7dad3e802012f12f075aa4
|
| 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.0-cp310-cp310-win_arm64.whl
| Download URL | cvc5-1.4.0-cp310-cp310-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.10 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
6702a4006718aa6f10d083fa46ed7a8c875da09487d7cc6f5395e0fe3fe60bd6
|
|
BLAKE2b-256 checksum How to use checksums |
7a9bb907b667994f2ea6094487653016f5c82f3039bf45051bd49cef8d245431
|
| 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.0-cp310-cp310-win_amd64.whl
| Download URL | cvc5-1.4.0-cp310-cp310-win_amd64.whl |
|---|---|
| Size | 11.5 MB |
| Tags | CPython 3.10 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
6279ba4a3783f95aceafd017848691692a45371f9706ee5977091aaf38aad1fa
|
|
BLAKE2b-256 checksum How to use checksums |
3c5c6c7ef9f17b8ee3efab919844f32fc6dde9be6dfd2a1b5e91ad394fd26775
|
| 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.0-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.3 MB |
| Tags | CPython 3.10 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
a6a357e04c62b63b288988834911b226d56416a89e2d718f1d5d6200840ca614
|
|
BLAKE2b-256 checksum How to use checksums |
4949838ef1b3c6c61f6136de7b191c02b094752870c754e12f1819af49ab713b
|
| 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.0-cp310-cp310-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-cp310-cp310-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.6 MB |
| Tags | CPython 3.10 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
60682584523c441385d51f55b1200e49a0125456e0c6020801c9229f99939854
|
|
BLAKE2b-256 checksum How to use checksums |
13e10dc7134e22e3a09268057a1d26eab4b6d713c2e2e1711ecc4f7f9c0db489
|
| 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.0-cp310-cp310-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-cp310-cp310-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.10 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
984f763dc132583b3d03098a15a98268a072cbec5ea1722c3140f4ab02cbcd2f
|
|
BLAKE2b-256 checksum How to use checksums |
1a84baf690e4f195e7e67cdc9ba616ffcc4314e36470820321f8edd0546be0ac
|
| 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.0-cp310-cp310-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.0-cp310-cp310-macosx_10_13_x86_64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | CPython 3.10 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
7cfe6aeafa6d86cc020682beeb2701b4d7b142a017d4e3679ccbac1acc828a7e
|
|
BLAKE2b-256 checksum How to use checksums |
6e656d307e80589bcfa530f67f821ff254707c9bcffaea2a63cdb96d8541e279
|
| 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.0-cp39-cp39-win_arm64.whl
| Download URL | cvc5-1.4.0-cp39-cp39-win_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.9 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
becf2bd59e2d167ba51b03ce2aab3a58cf502e25772119903629c0054e5021ed
|
|
BLAKE2b-256 checksum How to use checksums |
eae5283d63248378893dde734690ac7efe52278bd14b4fdd9bc9da925f945c2d
|
| 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.0-cp39-cp39-win_amd64.whl
| Download URL | cvc5-1.4.0-cp39-cp39-win_amd64.whl |
|---|---|
| Size | 11.5 MB |
| Tags | CPython 3.9 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
65f00fd011c30e0154eab74ce4eec14c77a47ccafe9021d8401a55b69bbd8718
|
|
BLAKE2b-256 checksum How to use checksums |
fefc5fc370c6beec8a97a3a0c65137213eabcc29ccf3bb99cc8171851203fba3
|
| 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.0-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | cvc5-1.4.0-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 14.3 MB |
| Tags | CPython 3.9 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
4c870fc9153a1d3bb254d175d8816a4b43437bbc9edb5129eeb6d70bffef6c6b
|
|
BLAKE2b-256 checksum How to use checksums |
838c9eca09f9950e5cbd737846f084ef6c14e26c539fca88dad566826dcb1a0f
|
| 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.0-cp39-cp39-manylinux2014_aarch64.manylinux_2_17_aarch64.whl
| Download URL | cvc5-1.4.0-cp39-cp39-manylinux2014_aarch64.manylinux_2_17_aarch64.whl |
|---|---|
| Size | 13.6 MB |
| Tags | CPython 3.9 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
e89d5223307a13c77e3e5a148970ad7eb953aaac49c57ed1d06aad1fe6140935
|
|
BLAKE2b-256 checksum How to use checksums |
adbcded82d3775c324b55a3d372871f579526a6417c01866a70c13b38214841a
|
| 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.0-cp39-cp39-macosx_11_0_arm64.whl
| Download URL | cvc5-1.4.0-cp39-cp39-macosx_11_0_arm64.whl |
|---|---|
| Size | 10.6 MB |
| Tags | CPython 3.9 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
e3bd7d15bd81db9eb0cdd5056e370bff2da0ae40fb5fa36c58a4709ade80ebb8
|
|
BLAKE2b-256 checksum How to use checksums |
66a3219086aa3e7b169c096c96a6b30bdc90e003a9e71a74344fb2381b97a6c3
|
| 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.0-cp39-cp39-macosx_10_13_x86_64.whl
| Download URL | cvc5-1.4.0-cp39-cp39-macosx_10_13_x86_64.whl |
|---|---|
| Size | 12.0 MB |
| Tags | CPython 3.9 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
c40938a70f23273419574f244ecadb8e003d86385fb095f25896472d259c06b5
|
|
BLAKE2b-256 checksum How to use checksums |
1ee326ee820940d2c9839f10c79b53d143f06a4af3c35757d135c0655bf0869e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.7
|
