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

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

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
20260312.22.24.962241	2026-03-12
certora_cli_alpha_master-20260312.22.24.962241-py3-none-any.whl (41 MB)
20260312.20.12.222110	2026-03-12
certora_cli_alpha_master-20260312.20.12.222110-py3-none-any.whl (41 MB)
20260312.19.23.212073	2026-03-12
certora_cli_alpha_master-20260312.19.23.212073-py3-none-any.whl (41 MB)
20260312.18.35.827866	2026-03-12
certora_cli_alpha_master-20260312.18.35.827866-py3-none-any.whl (41 MB)
20260312.3.22.570848	2026-03-12
certora_cli_alpha_master-20260312.3.22.570848-py3-none-any.whl (41 MB)
20260310.20.35.953396	2026-03-10
certora_cli_alpha_master-20260310.20.35.953396-py3-none-any.whl (41 MB)
20260310.18.5.416360	2026-03-10
certora_cli_alpha_master-20260310.18.5.416360-py3-none-any.whl (41 MB)
20260310.9.36.293620	2026-03-10
certora_cli_alpha_master-20260310.9.36.293620-py3-none-any.whl (41 MB)
20260309.21.56.98695	2026-03-09
certora_cli_alpha_master-20260309.21.56.98695-py3-none-any.whl (41 MB)
20260306.23.4.779861	2026-03-06
certora_cli_alpha_master-20260306.23.4.779861-py3-none-any.whl (41 MB)
20260306.10.3.902804	2026-03-06
certora_cli_alpha_master-20260306.10.3.902804-py3-none-any.whl (41 MB)
20260306.1.14.852863	2026-03-06
certora_cli_alpha_master-20260306.1.14.852863-py3-none-any.whl (41 MB)
20260306.0.25.424864	2026-03-06
certora_cli_alpha_master-20260306.0.25.424864-py3-none-any.whl (41 MB)
20260304.17.31.426288	2026-03-04
certora_cli_alpha_master-20260304.17.31.426288-py3-none-any.whl (41 MB)
20260304.11.6.875707	2026-03-04
certora_cli_alpha_master-20260304.11.6.875707-py3-none-any.whl (41 MB)
20260304.10.19.497613	2026-03-04
certora_cli_alpha_master-20260304.10.19.497613-py3-none-any.whl (41 MB)
20260304.9.31.509394	2026-03-04
certora_cli_alpha_master-20260304.9.31.509394-py3-none-any.whl (41 MB)
20260304.8.40.405033	2026-03-04
certora_cli_alpha_master-20260304.8.40.405033-py3-none-any.whl (41 MB)
20260303.18.1.360942	2026-03-03
certora_cli_alpha_master-20260303.18.1.360942-py3-none-any.whl (41 MB)
20260303.16.30.59732	2026-03-03
certora_cli_alpha_master-20260303.16.30.59732-py3-none-any.whl (41 MB)
20260303.15.42.477822	2026-03-03
certora_cli_alpha_master-20260303.15.42.477822-py3-none-any.whl (41 MB)
20260302.22.32.104958	2026-03-02
certora_cli_alpha_master-20260302.22.32.104958-py3-none-any.whl (41 MB)
20260302.18.57.219401	2026-03-02
certora_cli_alpha_master-20260302.18.57.219401-py3-none-any.whl (41 MB)
20260302.18.6.546398	2026-03-02
certora_cli_alpha_master-20260302.18.6.546398-py3-none-any.whl (41 MB)
20260302.9.3.374163	2026-03-02
certora_cli_alpha_master-20260302.9.3.374163-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