certora-cli-alpha-master

Commit c002775. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Uploaded Jul 16, 2026 Source

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

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

Uploaded Jul 16, 2026 Python 3manylinux: glibc 2.28+ x86-64

Uploaded Jul 16, 2026 Python 3macOS 10.9+ universal2 (ARM64, x86-64)

Uploaded Jul 16, 2026 Python 3

Details for the file certora_cli_alpha_master-20260716.12.45.435886.tar.gz.

Hashes for certora_cli_alpha_master-20260716.12.45.435886.tar.gz
Algorithm	Hash digest
SHA256	`3ee1f03ff6a93b2a1f0ec3abed39e330809d127ad3b9b23a072cdf9ef1b49d3b`
MD5	`1a62291db90c4b031046677371c26afd`
BLAKE2b-256	`fef1bd0ee3d0e883b44f7e8b9c06f6ccf14d360ceb609f587a6fba6b8ebb2c43`

Details for the file certora_cli_alpha_master-20260716.12.45.435886-py3-none-manylinux_2_28_x86_64.whl.

Download URL: certora_cli_alpha_master-20260716.12.45.435886-py3-none-manylinux_2_28_x86_64.whl
Upload date: Jul 16, 2026
Size: 44.2 MB
Tags: Python 3, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/6.2.0 CPython/3.11.15

Hashes for certora_cli_alpha_master-20260716.12.45.435886-py3-none-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`49cd1115875c4db079e5e55fa9fff1a7784cf14c258c0fdb69c68928ad295e4b`
MD5	`57e5ced1340ff6dcbcd0784f20207124`
BLAKE2b-256	`57832b159fff3ba9528936826c35ff5c2263bca5e62115e10b3b08449d2fca15`

Details for the file certora_cli_alpha_master-20260716.12.45.435886-py3-none-macosx_10_9_universal2.whl.

Download URL: certora_cli_alpha_master-20260716.12.45.435886-py3-none-macosx_10_9_universal2.whl
Upload date: Jul 16, 2026
Size: 44.9 MB
Tags: Python 3, macOS 10.9+ universal2 (ARM64, x86-64)
Uploaded using Trusted Publishing? No
Uploaded via: twine/6.2.0 CPython/3.11.15

Hashes for certora_cli_alpha_master-20260716.12.45.435886-py3-none-macosx_10_9_universal2.whl
Algorithm	Hash digest
SHA256	`1518111e2edf3a03d46cfb982d95c16eeb0133394d265c6c866d74eead5f7f6e`
MD5	`f371dae8946cbceed40af7a575cb079d`
BLAKE2b-256	`ba3ccc215a11d72ba4d2e2930f1cb54477fd9fda8847dc770350253d17cd6885`

Details for the file certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl.

Hashes for certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl
Algorithm	Hash digest
SHA256	`86c26fdc0dfc105150d39d9d33125370cdc3c56e32f518a30a24af140c230f55`
MD5	`d1b06e72b3ac265ad6a01bf55ffa8220`
BLAKE2b-256	`f791f1a624e94d2c8bc335f240c94cc60316449abed4a082e0dc026dfffb1c02`