piwheels

certora-cli-alpha-jaroslav-UCStats2

Runner for the Certora Prover

Installation

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

pip3 install certora-cli-alpha-jaroslav-ucstats2

Dependencies

• tabulate
• sly
• tqdm
• argcomplete
• click
• pycryptodome
• json5
• requests

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
20230514.19.10.306778	2023-05-14
certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778-py3-none-any.whl (38 MB)
20230514.17.47.470333	2023-05-14
certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333-py3-none-any.whl (38 MB)
20230510.20.20.327816	2023-05-10
certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl (37 MB)
20230509.20.24.246286	2023-05-09
certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3-none-any.whl (37 MB)

Issues with this package?

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