cvc5 · PyPI

Python bindings for cvc5 (BSD version)

Metadata

Release files for cvc5 1.4.2

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Built distributions (wheels)

Table of built distributions (wheels) for cvc5 1.4.2
File	Interpreter	ABI	Platform	Reset
cvc5-1.4.2-pp311-pypy311_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 12.8 MB Oct 8, 2026	PyPy 3.11	PyPy 3.11 7.3	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-pp311-pypy311_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 12.1 MB Oct 8, 2026	PyPy 3.11	PyPy 3.11 7.3	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-pp311-pypy311_pp73-macosx_11_0_arm64.whl 10.4 MB Oct 8, 2026	PyPy 3.11	PyPy 3.11 7.3	macOS 11.0+ ARM64	Details
cvc5-1.4.2-pp311-pypy311_pp73-macosx_10_15_x86_64.whl 11.8 MB Oct 8, 2026	PyPy 3.11	PyPy 3.11 7.3	macOS 10.15+ x86-64	Details
cvc5-1.4.2-pp310-pypy310_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 12.8 MB Oct 8, 2026	PyPy 3.10	PyPy 3.10 7.3	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-pp310-pypy310_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 12.1 MB Oct 8, 2026	PyPy 3.10	PyPy 3.10 7.3	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-pp310-pypy310_pp73-macosx_11_0_arm64.whl 10.4 MB Oct 8, 2026	PyPy 3.10	PyPy 3.10 7.3	macOS 11.0+ ARM64	Details
cvc5-1.4.2-pp310-pypy310_pp73-macosx_10_15_x86_64.whl 11.8 MB Oct 8, 2026	PyPy 3.10	PyPy 3.10 7.3	macOS 10.15+ x86-64	Details
cvc5-1.4.2-pp39-pypy39_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 12.8 MB Oct 8, 2026	PyPy 3.9	PyPy 3.9 7.3	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-pp39-pypy39_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 12.1 MB Oct 8, 2026	PyPy 3.9	PyPy 3.9 7.3	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-pp39-pypy39_pp73-macosx_11_0_arm64.whl 10.4 MB Oct 8, 2026	PyPy 3.9	PyPy 3.9 7.3	macOS 11.0+ ARM64	Details
cvc5-1.4.2-pp39-pypy39_pp73-macosx_10_15_x86_64.whl 11.8 MB Oct 8, 2026	PyPy 3.9	PyPy 3.9 7.3	macOS 10.15+ x86-64	Details
cvc5-1.4.2-cp315-cp315-win_arm64.whl 11.0 MB Oct 8, 2026	CPython 3.15	CPython 3.15	Windows ARM64	Details
cvc5-1.4.2-cp315-cp315-win_amd64.whl 11.7 MB Oct 8, 2026	CPython 3.15	CPython 3.15	Windows x86-64	Details
cvc5-1.4.2-cp315-cp315-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 14.3 MB Oct 8, 2026	CPython 3.15	CPython 3.15	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-cp315-cp315-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 13.5 MB Oct 8, 2026	CPython 3.15	CPython 3.15	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-cp315-cp315-macosx_11_0_arm64.whl 10.5 MB Oct 8, 2026	CPython 3.15	CPython 3.15	macOS 11.0+ ARM64	Details
cvc5-1.4.2-cp315-cp315-macosx_10_15_x86_64.whl 11.9 MB Oct 8, 2026	CPython 3.15	CPython 3.15	macOS 10.15+ x86-64	Details
cvc5-1.4.2-cp314-cp314-win_arm64.whl 11.0 MB Oct 8, 2026	CPython 3.14	CPython 3.14	Windows ARM64	Details
cvc5-1.4.2-cp314-cp314-win_amd64.whl 11.7 MB Oct 8, 2026	CPython 3.14	CPython 3.14	Windows x86-64	Details
cvc5-1.4.2-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 14.3 MB Oct 8, 2026	CPython 3.14	CPython 3.14	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-cp314-cp314-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 13.5 MB Oct 8, 2026	CPython 3.14	CPython 3.14	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-cp314-cp314-macosx_11_0_arm64.whl 10.5 MB Oct 8, 2026	CPython 3.14	CPython 3.14	macOS 11.0+ ARM64	Details
cvc5-1.4.2-cp314-cp314-macosx_10_15_x86_64.whl 11.9 MB Oct 8, 2026	CPython 3.14	CPython 3.14	macOS 10.15+ x86-64	Details
cvc5-1.4.2-cp313-cp313-win_arm64.whl 10.6 MB Oct 8, 2026	CPython 3.13	CPython 3.13	Windows ARM64	Details
cvc5-1.4.2-cp313-cp313-win_amd64.whl 11.4 MB Oct 8, 2026	CPython 3.13	CPython 3.13	Windows x86-64	Details
cvc5-1.4.2-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 14.3 MB Oct 8, 2026	CPython 3.13	CPython 3.13	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-cp313-cp313-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 13.5 MB Oct 8, 2026	CPython 3.13	CPython 3.13	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-cp313-cp313-macosx_11_0_arm64.whl 10.5 MB Oct 8, 2026	CPython 3.13	CPython 3.13	macOS 11.0+ ARM64	Details
cvc5-1.4.2-cp313-cp313-macosx_10_13_x86_64.whl 11.9 MB Oct 8, 2026	CPython 3.13	CPython 3.13	macOS 10.13+ x86-64	Details
cvc5-1.4.2-cp312-cp312-win_arm64.whl 10.6 MB Oct 8, 2026	CPython 3.12	CPython 3.12	Windows ARM64	Details
cvc5-1.4.2-cp312-cp312-win_amd64.whl 11.4 MB Oct 8, 2026	CPython 3.12	CPython 3.12	Windows x86-64	Details
cvc5-1.4.2-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 14.3 MB Oct 8, 2026	CPython 3.12	CPython 3.12	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-cp312-cp312-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 13.5 MB Oct 8, 2026	CPython 3.12	CPython 3.12	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-cp312-cp312-macosx_11_0_arm64.whl 10.5 MB Oct 8, 2026	CPython 3.12	CPython 3.12	macOS 11.0+ ARM64	Details
cvc5-1.4.2-cp312-cp312-macosx_10_13_x86_64.whl 11.9 MB Oct 8, 2026	CPython 3.12	CPython 3.12	macOS 10.13+ x86-64	Details
cvc5-1.4.2-cp311-cp311-win_arm64.whl 10.6 MB Oct 8, 2026	CPython 3.11	CPython 3.11	Windows ARM64	Details
cvc5-1.4.2-cp311-cp311-win_amd64.whl 11.4 MB Oct 8, 2026	CPython 3.11	CPython 3.11	Windows x86-64	Details
cvc5-1.4.2-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 14.3 MB Oct 8, 2026	CPython 3.11	CPython 3.11	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 13.6 MB Oct 8, 2026	CPython 3.11	CPython 3.11	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-cp311-cp311-macosx_11_0_arm64.whl 10.5 MB Oct 8, 2026	CPython 3.11	CPython 3.11	macOS 11.0+ ARM64	Details
cvc5-1.4.2-cp311-cp311-macosx_10_13_x86_64.whl 11.9 MB Oct 8, 2026	CPython 3.11	CPython 3.11	macOS 10.13+ x86-64	Details
cvc5-1.4.2-cp310-cp310-win_arm64.whl 10.6 MB Oct 8, 2026	CPython 3.10	CPython 3.10	Windows ARM64	Details
cvc5-1.4.2-cp310-cp310-win_amd64.whl 11.4 MB Oct 8, 2026	CPython 3.10	CPython 3.10	Windows x86-64	Details
cvc5-1.4.2-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 14.3 MB Oct 8, 2026	CPython 3.10	CPython 3.10	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-cp310-cp310-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 13.5 MB Oct 8, 2026	CPython 3.10	CPython 3.10	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-cp310-cp310-macosx_11_0_arm64.whl 10.5 MB Oct 8, 2026	CPython 3.10	CPython 3.10	macOS 11.0+ ARM64	Details
cvc5-1.4.2-cp310-cp310-macosx_10_13_x86_64.whl 11.9 MB Oct 8, 2026	CPython 3.10	CPython 3.10	macOS 10.13+ x86-64	Details
cvc5-1.4.2-cp39-cp39-win_arm64.whl 10.6 MB Oct 8, 2026	CPython 3.9	CPython 3.9	Windows ARM64	Details
cvc5-1.4.2-cp39-cp39-win_amd64.whl 11.4 MB Oct 8, 2026	CPython 3.9	CPython 3.9	Windows x86-64	Details
cvc5-1.4.2-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl 14.3 MB Oct 8, 2026	CPython 3.9	CPython 3.9	Linux glibc 2.17+ x86-64	Details
cvc5-1.4.2-cp39-cp39-manylinux2014_aarch64.manylinux_2_17_aarch64.whl 13.5 MB Oct 8, 2026	CPython 3.9	CPython 3.9	Linux glibc 2.17+ ARM64	Details
cvc5-1.4.2-cp39-cp39-macosx_11_0_arm64.whl 10.5 MB Oct 8, 2026	CPython 3.9	CPython 3.9	macOS 11.0+ ARM64	Details
cvc5-1.4.2-cp39-cp39-macosx_10_13_x86_64.whl 11.9 MB Oct 8, 2026	CPython 3.9	CPython 3.9	macOS 10.13+ x86-64	Details

Total release size: 648.4 MB

Release files / cvc5-1.4.2-pp311-pypy311_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`c888ef41ebc5215d60d60d0fb6fc3d37f1d99f25c79bdc1e8ef74900964d8c2e`
BLAKE2b-256 checksum How to use checksums	`e9487b88b50e7f42ab331f5560bf97ac3c77a6953f421eb5ca807923f3d9692b`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-pp311-pypy311_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`115455e1dbc9afbc759103b17bd859cc0324abc646ca9f30f4245424f726a43c`
BLAKE2b-256 checksum How to use checksums	`ae2706bf4790ddcc30a651f25cea12fa6690263192a76dc8a84a5d6df560a1be`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-pp311-pypy311_pp73-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`517fa6ecf81b15af4ee3e40b1b42b76082305a05703db03d8c9d0b8059d82547`
BLAKE2b-256 checksum How to use checksums	`a7170e37b8fa85539f2b4ac60060dbb23e4e29cdb37dc35f052f2fe3f9342a2a`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-pp311-pypy311_pp73-macosx_10_15_x86_64.whl

Download URL	cvc5-1.4.2-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	`8d44a2974363bafec414481c018a9c60dd3621efa5b877a1e58aa3b5eb84bb52`
BLAKE2b-256 checksum How to use checksums	`69e82495dca41f2f0917f5f9089fa3fcb4d5537e30127515fde184539872162f`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-pp310-pypy310_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`b28ffca33dc25a5691f1a5fadb0259ec0c2ab348dbc027091060f8b2ad33672e`
BLAKE2b-256 checksum How to use checksums	`7e70671f79daaca6158d1c9bd9d1331e4ed7f36dd1f32884b175900109d9f12c`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-pp310-pypy310_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`a61d4afbcbd353d14407b16dfc0564cc738197c6ed71a68be34344b7f6c4c97e`
BLAKE2b-256 checksum How to use checksums	`af806691e9dd4a35938d87bc088d18b4d03335ec96a0b6558fda1793d41903c4`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-pp310-pypy310_pp73-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`5686008476ff4611065ca13e12dbfd985f95547606d19ceb962dd434789e54d7`
BLAKE2b-256 checksum How to use checksums	`7be2672789777b88394ce932a7c1dc22b78cec945e38ba83191a4f7abe66465b`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-pp310-pypy310_pp73-macosx_10_15_x86_64.whl

Download URL	cvc5-1.4.2-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	`eedd1c1006df95bbc92cef2d0f3a08390c2fc06df27b48d52da0e173f65a71b8`
BLAKE2b-256 checksum How to use checksums	`56d37ab1ab7adec2f344a5d1917b89414836d96db2b79fe1f2b7dff6c71cad0b`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-pp39-pypy39_pp73-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`85cf7f7b1b56b17f332fbcd87f12407204aecb1eb5dfe8921d2e01ceaf50fd13`
BLAKE2b-256 checksum How to use checksums	`84c5f780daca8f13d59940812db0d76106b744e23e8207ed174bde4cda9fafb0`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-pp39-pypy39_pp73-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`68c1bdadbe78c34eaf9865348acdbe3d1fb62d7f6e9d1f5d28bf003ffb294704`
BLAKE2b-256 checksum How to use checksums	`f5f135fc895a7649da4d20f225c52b26a887bc545fa302118b2662e35df9c60e`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-pp39-pypy39_pp73-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`be6d019b2fd6e1795643e8c849504ebe759331ab124a275b0d008e5eb516a323`
BLAKE2b-256 checksum How to use checksums	`c3e6f1f07adbc2a60364b0d2b2bbb1bec0b7ef041793040b3da8684c18472301`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-pp39-pypy39_pp73-macosx_10_15_x86_64.whl

Download URL	cvc5-1.4.2-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	`ed307ca6455dacd9d4740c830e6cda5703bf04423be53548007d69d90b6be455`
BLAKE2b-256 checksum How to use checksums	`bf4944dfea7dc51f34305d314eef15e8fff30a8ff4baafc6df6b50ed7394189b`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp315-cp315-win_arm64.whl

Download URL	cvc5-1.4.2-cp315-cp315-win_arm64.whl
Size	11.0 MB
Tags	CPython 3.15 Windows ARM64
SHA-256 checksum How to use checksums	`5f30124bbe0dcecdcd326fbf8d1cfac9790694d37aa0ddd4a707f2a3ee88da97`
BLAKE2b-256 checksum How to use checksums	`76fd50781684c44710fa60491a8e0b501a96c9408ee369911f7dd94d057eb9e5`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.16`

Release files / cvc5-1.4.2-cp315-cp315-win_amd64.whl

Download URL	cvc5-1.4.2-cp315-cp315-win_amd64.whl
Size	11.7 MB
Tags	CPython 3.15 Windows x86-64
SHA-256 checksum How to use checksums	`1f74ce13247d592e3ff6dda30b42659a0591b50e73f1d69e32bf06274f83d95f`
BLAKE2b-256 checksum How to use checksums	`916fc3caad742af00f8d48f7838ea312e4dd7ec0f73e23d277c57645d1500ac9`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.10`

Release files / cvc5-1.4.2-cp315-cp315-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`e8a77fd5c27f759cfdfd1811324e7c91701e0ae97500fa8b8d052ff920d448f5`
BLAKE2b-256 checksum How to use checksums	`6d5e1a9a874119dcbdf66736cd18b20506a223fece2a74900c88f8b160c7830b`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp315-cp315-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`4927a12e750b2ae97120969063e5f599446ee066a8eeb3dcc364121b8223aba0`
BLAKE2b-256 checksum How to use checksums	`378f6eb5813f7bc21522be65b180fa50105ac2b14c299eef00649c80f3d296c2`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp315-cp315-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`442f535060b6625189d47520fea1d236c6a41894c434c2ebd30822bd46369adb`
BLAKE2b-256 checksum How to use checksums	`ecdf3f653da3b9d7fbefeea2b6212aa0d60073df4a7cd268d968b608c486bb36`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp315-cp315-macosx_10_15_x86_64.whl

Download URL	cvc5-1.4.2-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	`39cfdeede01186d0822032e33444165fc56596bded8cb55064b2e9564b6d132a`
BLAKE2b-256 checksum How to use checksums	`9de5451521f8f27b1af53f61c59f8594eda101071c72e883317b9dab16617c58`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp314-cp314-win_arm64.whl

Download URL	cvc5-1.4.2-cp314-cp314-win_arm64.whl
Size	11.0 MB
Tags	CPython 3.14 Windows ARM64
SHA-256 checksum How to use checksums	`cfb3b30e7197d2944c7cf1489ef26506fdec4e3d57461e18c58a48387e59d1d7`
BLAKE2b-256 checksum How to use checksums	`5923b6f7211776bcc37cbcbc0786010af27106095b5a6bc68c2f681d77dab055`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.16`

Release files / cvc5-1.4.2-cp314-cp314-win_amd64.whl

Download URL	cvc5-1.4.2-cp314-cp314-win_amd64.whl
Size	11.7 MB
Tags	CPython 3.14 Windows x86-64
SHA-256 checksum How to use checksums	`40723ac461beca9789fb328971f67318c53058cb8949ad62ac9c36c4cd2d3302`
BLAKE2b-256 checksum How to use checksums	`33cb5c32ed970451ed45e6955d236c64fbef69c205e79387fae19ff72920e8ad`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.10`

Release files / cvc5-1.4.2-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`38e989df1cd3b1183f477b777d706ed15a4a2a194b04dd897dcf5d1b5f1aa918`
BLAKE2b-256 checksum How to use checksums	`6c5493eeb2449c5282ce83f10994a02386614cdeb31b3064ed9afe98f448913a`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp314-cp314-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`23e1ff4fbb854b139a5419d965b8d3e79ccb73c3b9aff8fc52bf23ef9d621159`
BLAKE2b-256 checksum How to use checksums	`0ae486bb030b4fc9f5595d4c8d475af2f4af7f97fad65dcb87b48980e500960f`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp314-cp314-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`31d58c070dd0459aa75dcdfa3eab37a975afc1998ec35127e886bbdac34e5cdc`
BLAKE2b-256 checksum How to use checksums	`3810e649f7508492ef68f3805c91085dcba0ceb8b51ada3ae39391d7d01fb66c`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp314-cp314-macosx_10_15_x86_64.whl

Download URL	cvc5-1.4.2-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	`61a309bf5088a35b2822daf5799050ff47a3f4cbea17d0d527b7d423370ccebf`
BLAKE2b-256 checksum How to use checksums	`dd1e5431135d2404790267c779b4c88e2df999bbb868ceefa17e65a45d6bb805`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp313-cp313-win_arm64.whl

Download URL	cvc5-1.4.2-cp313-cp313-win_arm64.whl
Size	10.6 MB
Tags	CPython 3.13 Windows ARM64
SHA-256 checksum How to use checksums	`e93bc1e3d0c145569c2c57fc17d7b4181d66d8800ec7c0e5cfe17b1a18c63929`
BLAKE2b-256 checksum How to use checksums	`c407333a787ce422f309b871928c8456681b49418c1a459344e4d4af40eebf72`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.16`

Release files / cvc5-1.4.2-cp313-cp313-win_amd64.whl

Download URL	cvc5-1.4.2-cp313-cp313-win_amd64.whl
Size	11.4 MB
Tags	CPython 3.13 Windows x86-64
SHA-256 checksum How to use checksums	`0ee0a51862d9e8ae8a38572909641a88cdf8d5e1640dee481b24289b6811b9da`
BLAKE2b-256 checksum How to use checksums	`bf973a94efabfd156cca679f760d0993181ca8732c79be5efed8ade28ba62300`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.10`

Release files / cvc5-1.4.2-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`3eaf2bc2e752ca48bef428a9bfea9de9fd9fe3c59cab1755a103c2c5d3afa64a`
BLAKE2b-256 checksum How to use checksums	`5e866634ae2fa0800b05724ba0504ea3bd17212f938300f57bd8e6ffe4d8dbde`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp313-cp313-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`fad6f5930949f5d05055a38ee7534823c5db616f51eca82cd6f3f8e8a363507c`
BLAKE2b-256 checksum How to use checksums	`9c3d32bd2df628b1e2698bd2171f6a62af3f5bc1a9ffcacfb3fc668d10d9ab65`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp313-cp313-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`5a51e8fed746545f1d583f9799b27576c197a6fbe636dc8435d02270d5e1ec5b`
BLAKE2b-256 checksum How to use checksums	`fa8347f5cc505b13022a61995de289dc904ea6397fef518067c22c5a0125529c`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp313-cp313-macosx_10_13_x86_64.whl

Download URL	cvc5-1.4.2-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	`aa90ac0f1e7f50e99325735b04d63db32320239b2152ec0f4ba326b56d355d1d`
BLAKE2b-256 checksum How to use checksums	`e8396abffd82f9223da9a316fa23fa852de00a9be1b9e5285d023700cb7c181b`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp312-cp312-win_arm64.whl

Download URL	cvc5-1.4.2-cp312-cp312-win_arm64.whl
Size	10.6 MB
Tags	CPython 3.12 Windows ARM64
SHA-256 checksum How to use checksums	`acae7203adc0c7d5765889a1770fcf1f71ffd2b16bf59fc0c0f44e4b3053b928`
BLAKE2b-256 checksum How to use checksums	`4a8dd0e41d942fd401ddcb6aae95ff16c0e80cfe17e569d272608a99a9cf7bee`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.16`

Release files / cvc5-1.4.2-cp312-cp312-win_amd64.whl

Download URL	cvc5-1.4.2-cp312-cp312-win_amd64.whl
Size	11.4 MB
Tags	CPython 3.12 Windows x86-64
SHA-256 checksum How to use checksums	`0c8eb61396877ca0239187115fb0f7f743f8db2ad75283977fef412497156607`
BLAKE2b-256 checksum How to use checksums	`0956a5d863b05a845844c96adb8c3cc70ae86a811898f1331e2658d5143be88b`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.10`

Release files / cvc5-1.4.2-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`1fa385dfb63bbd1a5196aa2965ba2eacf1f12ff923cab5cd46be2fa471989ad7`
BLAKE2b-256 checksum How to use checksums	`f357f6d74934fa1220ece9f80305c46ebed0949b85cb476626ec3fefbce38c41`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp312-cp312-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`06dd446fd92328210bcefe2b0e8ce6cf06c61959a3522b2c20a49194a45f6a7f`
BLAKE2b-256 checksum How to use checksums	`2a2c78cb787ec0d3879ecec87b0559e2cccb33f32fcf427353d2689a04e815cc`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp312-cp312-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`023eafc4ca98b289b08e7471c90f2c5dc9889a9c59ac52fb41fd862c86cb73cb`
BLAKE2b-256 checksum How to use checksums	`9f4f5084dc2d92d9037177b8b2c95b091900064268b41b67fde668a7eaab54c3`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp312-cp312-macosx_10_13_x86_64.whl

Download URL	cvc5-1.4.2-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	`06b8dea3612da3bca983b5c624601abee721c8be3799bdf81ce2dfbff20c77fa`
BLAKE2b-256 checksum How to use checksums	`352a831c6cca431d0c3cdc6af64e07c91458c38006a154ed1a3795472cdaf39a`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp311-cp311-win_arm64.whl

Download URL	cvc5-1.4.2-cp311-cp311-win_arm64.whl
Size	10.6 MB
Tags	CPython 3.11 Windows ARM64
SHA-256 checksum How to use checksums	`3b9334f4d0260567fdcec40f7557a9b36d37394eb0c970ab21c6b0dd4728e3c6`
BLAKE2b-256 checksum How to use checksums	`608550f82932b0a0a796bcd30313597bf84d91551a3a3eb381b6b59f3ecb4d2c`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.16`

Release files / cvc5-1.4.2-cp311-cp311-win_amd64.whl

Download URL	cvc5-1.4.2-cp311-cp311-win_amd64.whl
Size	11.4 MB
Tags	CPython 3.11 Windows x86-64
SHA-256 checksum How to use checksums	`ed05c429944a66358134c04433a3f01d9093e3a0ae48d2b7dc14e9b087bcc2a2`
BLAKE2b-256 checksum How to use checksums	`dfcff47ededb94fddfabfccd84d3145e2e0d1ed8d0d55ab86af3e2333622c12a`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.10`

Release files / cvc5-1.4.2-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`fad09688fd0ee6ef6e8ce81fbf7e2ebaab466bd1b4bd6fefe0dd24ca772d089f`
BLAKE2b-256 checksum How to use checksums	`74884de52427b91a9fcae5de2bed3e00f32b9e88358cb74009bd21aebfa0a963`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`900375f5cd4771a7276f1e9f2fcd06899fae5a959e5abfba5d7c5b804f9da597`
BLAKE2b-256 checksum How to use checksums	`72f36186129677bf91afa5596d215f1579eb7f5924d7dcfecd3a47deb36bcd72`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp311-cp311-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`6dded9cb06c8c87e21cf9a60d5c0590954cfb34178890beb5cce7922c91e2c0a`
BLAKE2b-256 checksum How to use checksums	`2237aa6db0caade577992cd58c0ddc4306378ee8c6f9887cc551538025f885d1`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp311-cp311-macosx_10_13_x86_64.whl

Download URL	cvc5-1.4.2-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	`35d28a657f7c91c17836187645cd660ef4c85f9d5bb25c3d290a587478e12511`
BLAKE2b-256 checksum How to use checksums	`1771aca5fdadcd68ea55733d6dfff5aa943f75843f07faa416694d62c844571c`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp310-cp310-win_arm64.whl

Download URL	cvc5-1.4.2-cp310-cp310-win_arm64.whl
Size	10.6 MB
Tags	CPython 3.10 Windows ARM64
SHA-256 checksum How to use checksums	`e60209cdfb14a09136f390023e95524105bc10dc413f738964196d683397cfc7`
BLAKE2b-256 checksum How to use checksums	`48af30795e1b053106ca9618cf86a25e1a27244bb4dc036b8f655d0eba3c7053`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.16`

Release files / cvc5-1.4.2-cp310-cp310-win_amd64.whl

Download URL	cvc5-1.4.2-cp310-cp310-win_amd64.whl
Size	11.4 MB
Tags	CPython 3.10 Windows x86-64
SHA-256 checksum How to use checksums	`bd0b0779694122bed6cd0311cdb2c59130acbeba2cac2f6cf6ed9a560326f78d`
BLAKE2b-256 checksum How to use checksums	`da72d23f366865e14db155028b893bf0702b3548e065aa6373f4aafeaf12c9a7`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.10`

Release files / cvc5-1.4.2-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`27d774071fd2fa54a9c09e58ff1c36c10636aa4a74b1210e7608ea7e104313ad`
BLAKE2b-256 checksum How to use checksums	`112b2a99fd134ceb0539ea5a22acb862bdf5f8d442ff7bfc15f1b4ba04e60bd6`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp310-cp310-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`ee86784ca9003ad890c48a307864e00746a3965fea72b3b651434063cae9cac3`
BLAKE2b-256 checksum How to use checksums	`d8f3bd9d8293d25cdb1e83ea9ab14af03af339886bfde74b7c4be2536401f060`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp310-cp310-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`e4340eda12adae9a7c7369b034749fc93409598380690d5705cfd04a45303cfe`
BLAKE2b-256 checksum How to use checksums	`b8424856ed0e962bf9b73e11d16447dbd32f59f38cce5670a2bb00e72fb5c86b`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp310-cp310-macosx_10_13_x86_64.whl

Download URL	cvc5-1.4.2-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	`9707bcc20461aa0ca6b70d449fa4ccdcfa9e9caa27e18a0d36b7d818fbfafc07`
BLAKE2b-256 checksum How to use checksums	`6edf396eb878f6cac4621bb36ba1cba861a7ff4a197f83f9800a6706ed030925`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp39-cp39-win_arm64.whl

Download URL	cvc5-1.4.2-cp39-cp39-win_arm64.whl
Size	10.6 MB
Tags	CPython 3.9 Windows ARM64
SHA-256 checksum How to use checksums	`3003cc7d65f01e339e999e7adee574cef230d6ccf72cbc0422c8649988cb4dcc`
BLAKE2b-256 checksum How to use checksums	`d9dd768f914104886632f7d99004708990d905c51545656b0afc506c1c9cdd34`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.16`

Release files / cvc5-1.4.2-cp39-cp39-win_amd64.whl

Download URL	cvc5-1.4.2-cp39-cp39-win_amd64.whl
Size	11.4 MB
Tags	CPython 3.9 Windows x86-64
SHA-256 checksum How to use checksums	`8da6fceefdad6ee347155415d42d7d565bcd1ff031d9daf164ff1f9a5d851c88`
BLAKE2b-256 checksum How to use checksums	`1d137b3ef389bff849af0b26fb4e2c8644754ca030f41131989e573798a8f08f`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.10`

Release files / cvc5-1.4.2-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL	cvc5-1.4.2-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	`157cd93bcc7d1597d717e48cf9478cd19bc81c95e598ebab80013796e9a75049`
BLAKE2b-256 checksum How to use checksums	`95b626a972067fb186dd4877ba14126ab4eb3803d6318aeee80dd6e2c72bc65c`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp39-cp39-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

Download URL	cvc5-1.4.2-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	`9d41f39bfea95e4f6f804778290015ceb9b643e55fcfbfb4de80ba86f49e2d05`
BLAKE2b-256 checksum How to use checksums	`d2e4e31d879728aaada0e05c7bf0ee7da3408adc05b085ad47b51e51190b34bd`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.3`

Release files / cvc5-1.4.2-cp39-cp39-macosx_11_0_arm64.whl

Download URL	cvc5-1.4.2-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	`92677881615551c95205d12164a0203a6eb29d6b743c8bbf311b2a86785fa5fc`
BLAKE2b-256 checksum How to use checksums	`8441baf33d49dea9ed9cf7952a64c360ae5a9f127e0737528ca04b937bacba80`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release files / cvc5-1.4.2-cp39-cp39-macosx_10_13_x86_64.whl

Download URL	cvc5-1.4.2-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	`663f9f3de88e6ac69445df65e7397803204a6ce26bed275b9ad9b3dc093e188e`
BLAKE2b-256 checksum How to use checksums	`0b701cbeba413c3ab0489aa041ced387733d20c21eb797c3b0bbaf919d7020e7`
Upload date	Oct 8, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.14.7`

Release history Release notifications | RSS feed

This release

1.4.2 This release

Oct 8, 2026 54 release files

1.4.1

Sep 25, 2026 54 release files

1.4.0

Sep 17, 2026 54 release files

1.3.4

May 7, 2026 57 release files

1.3.3

Feb 25, 2026 57 release files

1.3.2

Dec 12, 2025 57 release files

1.3.1

Sep 24, 2025 57 release files

1.3.0

Jun 19, 2025 53 release files

1.2.1

Jan 27, 2025 49 release files

1.2.0

Aug 8, 2024 44 release files

1.1.2

Mar 1, 2024 30 release files

1.1.1

Jan 25, 2024 30 release files

1.1.0

Dec 21, 2023 9 release files

1.0.9

Dec 19, 2023 18 release files

1.0.8

Aug 31, 2023 18 release files

1.0.7

Aug 22, 2023 18 release files

1.0.5

Mar 13, 2023 14 release files

1.0.1

Jul 19, 2022 14 release files

1.0.0

Apr 6, 2022 14 release files

0.0.12

Apr 4, 2022 14 release files

0.0.11

Apr 3, 2022 14 release files

0.0.10

Apr 1, 2022 14 release files

cvc5 1.4.2

Project links

Key dates

3 maintainers