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

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

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
20260909.23.44.947922	2026-09-09
20260908.12.47.10250	2026-09-08
certora_cli_alpha_master-20260908.12.47.10250-py3-none-any.whl (41 MB)
20260906.21.4.337824	2026-09-06
certora_cli_alpha_master-20260906.21.4.337824-py3-none-any.whl (41 MB)
20260904.17.37.569374	2026-09-04
certora_cli_alpha_master-20260904.17.37.569374-py3-none-any.whl (41 MB)
20260904.8.34.440526	2026-09-04
certora_cli_alpha_master-20260904.8.34.440526-py3-none-any.whl (41 MB)
20260903.20.52.309793	2026-09-03
certora_cli_alpha_master-20260903.20.52.309793-py3-none-any.whl (41 MB)
20260903.19.2.312793	2026-09-03
certora_cli_alpha_master-20260903.19.2.312793-py3-none-any.whl (41 MB)
20260902.22.11.348515	2026-09-02
certora_cli_alpha_master-20260902.22.11.348515-py3-none-any.whl (41 MB)
20260902.21.18.845451	2026-09-02
certora_cli_alpha_master-20260902.21.18.845451-py3-none-any.whl (41 MB)
20260902.19.58.697150	2026-09-02
certora_cli_alpha_master-20260902.19.58.697150-py3-none-any.whl (41 MB)
20260902.14.51.607355	2026-09-02
certora_cli_alpha_master-20260902.14.51.607355-py3-none-any.whl (41 MB)
20260902.9.31.124479	2026-09-02
certora_cli_alpha_master-20260902.9.31.124479-py3-none-any.whl (41 MB)
20260902.1.20.245698	2026-09-02
certora_cli_alpha_master-20260902.1.20.245698-py3-none-any.whl (41 MB)
20260901.18.46.937780	2026-09-01
certora_cli_alpha_master-20260901.18.46.937780-py3-none-any.whl (41 MB)
20260901.18.6.132263	2026-09-01
certora_cli_alpha_master-20260901.18.6.132263-py3-none-any.whl (41 MB)
20260901.15.1.582772	2026-09-01
certora_cli_alpha_master-20260901.15.1.582772-py3-none-any.whl (41 MB)
20260901.10.15.59272	2026-09-01
certora_cli_alpha_master-20260901.10.15.59272-py3-none-any.whl (41 MB)
20260830.17.5.88502	2026-08-30
certora_cli_alpha_master-20260830.17.5.88502-py3-none-any.whl (41 MB)
20260828.18.15.546362	2026-08-28
certora_cli_alpha_master-20260828.18.15.546362-py3-none-any.whl (41 MB)
20260828.17.39.749963	2026-08-28
certora_cli_alpha_master-20260828.17.39.749963-py3-none-any.whl (41 MB)
20260828.17.2.608196	2026-08-28
certora_cli_alpha_master-20260828.17.2.608196-py3-none-any.whl (41 MB)
20260827.21.2.178752	2026-08-27
certora_cli_alpha_master-20260827.21.2.178752-py3-none-any.whl (41 MB)
20260827.17.39.226927	2026-08-27
certora_cli_alpha_master-20260827.17.39.226927-py3-none-any.whl (41 MB)
20260827.17.3.366766	2026-08-27
certora_cli_alpha_master-20260827.17.3.366766-py3-none-any.whl (41 MB)
20260826.21.56.378132	2026-08-26
certora_cli_alpha_master-20260826.21.56.378132-py3-none-any.whl (41 MB)
20260826.15.37.734619	2026-08-26
certora_cli_alpha_master-20260826.15.37.734619-py3-none-any.whl (41 MB)
20260826.14.9.800012	2026-08-26
certora_cli_alpha_master-20260826.14.9.800012-py3-none-any.whl (41 MB)
20260825.23.41.707159	2026-08-25
certora_cli_alpha_master-20260825.23.41.707159-py3-none-any.whl (41 MB)
20260825.23.3.534875	2026-08-25
certora_cli_alpha_master-20260825.23.3.534875-py3-none-any.whl (41 MB)
20260825.19.45.163152	2026-08-25
certora_cli_alpha_master-20260825.19.45.163152-py3-none-any.whl (41 MB)
20260825.18.44.797900	2026-08-25
certora_cli_alpha_master-20260825.18.44.797900-py3-none-any.whl (41 MB)
20260825.18.8.326207	2026-08-25
certora_cli_alpha_master-20260825.18.8.326207-py3-none-any.whl (41 MB)
20260825.14.19.397949	2026-08-25
certora_cli_alpha_master-20260825.14.19.397949-py3-none-any.whl (41 MB)
20260824.19.53.912048	2026-08-24
certora_cli_alpha_master-20260824.19.53.912048-py3-none-any.whl (41 MB)
20260821.10.3.876041	2026-08-21
certora_cli_alpha_master-20260821.10.3.876041-py3-none-any.whl (41 MB)
20260820.19.2.655052	2026-08-20
certora_cli_alpha_master-20260820.19.2.655052-py3-none-any.whl (41 MB)
20260820.18.24.48074	2026-08-20
certora_cli_alpha_master-20260820.18.24.48074-py3-none-any.whl (41 MB)
20260820.9.30.263849	2026-08-20
certora_cli_alpha_master-20260820.9.30.263849-py3-none-any.whl (41 MB)
20260819.16.10.394573	2026-08-19
certora_cli_alpha_master-20260819.16.10.394573-py3-none-any.whl (41 MB)
20260819.15.32.547513	2026-08-19
certora_cli_alpha_master-20260819.15.32.547513-py3-none-any.whl (41 MB)
20260819.10.0.767923	2026-08-19
certora_cli_alpha_master-20260819.10.0.767923-py3-none-any.whl (41 MB)
20260818.12.31.101880	2026-08-18
certora_cli_alpha_master-20260818.12.31.101880-py3-none-any.whl (41 MB)
20260812.16.44.86540	2026-08-12
certora_cli_alpha_master-20260812.16.44.86540-py3-none-any.whl (41 MB)
20260812.14.52.259366	2026-08-12
certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl (41 MB)
20260810.10.57.307572	2026-08-10
certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl (41 MB)
20260806.11.36.29851	2026-08-06
certora_cli_alpha_master-20260806.11.36.29851-py3-none-any.whl (41 MB)
20260805.1.2.652818	2026-08-05
certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl (41 MB)
20260804.11.33.345392	2026-08-04
certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl (41 MB)
20260804.10.28.546456	2026-08-04
certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl (41 MB)
20260730.18.17.393057	2026-07-30
certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl (41 MB)
20260729.17.57.786085	2026-07-29
certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl (41 MB)
20260722.7.0.82332	2026-07-22
certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl (41 MB)
20260716.17.27.262642	2026-07-16
certora_cli_alpha_master-20260716.17.27.262642-py3-none-any.whl (41 MB)
20260716.14.2.9049	2026-07-16
certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl (41 MB)
20260716.12.45.435886	2026-07-16
certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl (41 MB)
20260715.7.22.20117	2026-07-15
certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl (41 MB)
20260715.6.46.85716	2026-07-15
certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl (41 MB)
20260715.6.8.146347	2026-07-15
certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl (41 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