piwheels

certora-cli-alpha-master

Runner for the Certora Prover

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install certora-cli-alpha-master

Dependencies

• requests
• wcmatch
• sly
• tqdm
• tabulate
• typing-extensions
• pycryptodome
• jinja2
• json5
• strenum
• rich
• click

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
20251212.20.14.684012	2025-12-12
certora_cli_alpha_master-20251212.20.14.684012-py3-none-any.whl (39 MB)
20251212.18.31.213127	2025-12-12
certora_cli_alpha_master-20251212.18.31.213127-py3-none-any.whl (39 MB)
20251212.2.29.330599	2025-12-12
certora_cli_alpha_master-20251212.2.29.330599-py3-none-any.whl (39 MB)
20251211.22.3.453415	2025-12-11
certora_cli_alpha_master-20251211.22.3.453415-py3-none-any.whl (39 MB)
20251210.22.33.388975	2025-12-10
certora_cli_alpha_master-20251210.22.33.388975-py3-none-any.whl (39 MB)
20251210.20.10.189817	2025-12-10
certora_cli_alpha_master-20251210.20.10.189817-py3-none-any.whl (39 MB)
20251210.13.55.488803	2025-12-10
certora_cli_alpha_master-20251210.13.55.488803-py3-none-any.whl (39 MB)
20251209.20.29.185580	2025-12-09
certora_cli_alpha_master-20251209.20.29.185580-py3-none-any.whl (39 MB)
20251209.19.39.902585	2025-12-09
certora_cli_alpha_master-20251209.19.39.902585-py3-none-any.whl (39 MB)
20251209.18.55.619285	2025-12-09
certora_cli_alpha_master-20251209.18.55.619285-py3-none-any.whl (39 MB)
20251209.12.22.823685	2025-12-09
certora_cli_alpha_master-20251209.12.22.823685-py3-none-any.whl (39 MB)
20251208.20.19.541339	2025-12-08
certora_cli_alpha_master-20251208.20.19.541339-py3-none-any.whl (39 MB)
20251208.16.52.905633	2025-12-08
certora_cli_alpha_master-20251208.16.52.905633-py3-none-any.whl (39 MB)
20251208.15.39.160644	2025-12-08
certora_cli_alpha_master-20251208.15.39.160644-py3-none-any.whl (39 MB)
20251207.0.26.526171	2025-12-07
certora_cli_alpha_master-20251207.0.26.526171-py3-none-any.whl (39 MB)
20251206.23.42.216111	2025-12-06
certora_cli_alpha_master-20251206.23.42.216111-py3-none-any.whl (39 MB)
20251205.19.3.122282	2025-12-05
certora_cli_alpha_master-20251205.19.3.122282-py3-none-any.whl (39 MB)
20251204.22.15.393566	2025-12-04
certora_cli_alpha_master-20251204.22.15.393566-py3-none-any.whl (39 MB)
20251204.10.23.58541	2025-12-04
certora_cli_alpha_master-20251204.10.23.58541-py3-none-any.whl (39 MB)
20251203.3.42.874358	2025-12-03
certora_cli_alpha_master-20251203.3.42.874358-py3-none-any.whl (39 MB)
20251203.2.24.260812	2025-12-03
certora_cli_alpha_master-20251203.2.24.260812-py3-none-any.whl (39 MB)
20251202.23.58.988576	2025-12-02
certora_cli_alpha_master-20251202.23.58.988576-py3-none-any.whl (39 MB)
20251202.20.51.90074	2025-12-02
certora_cli_alpha_master-20251202.20.51.90074-py3-none-any.whl (39 MB)
20251127.18.23.7929	2025-11-27
20251127.12.8.264687	2025-11-27
certora_cli_alpha_master-20251127.12.8.264687-py3-none-any.whl (39 MB)
20251126.12.24.872806	2025-11-26
certora_cli_alpha_master-20251126.12.24.872806-py3-none-any.whl (39 MB)
20230531.9.54.740119	2023-05-31

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue