license = "MIT"
automode = true
archful = false
summary = "Runner for the Certora Prover"
pypi_version = "20241230.22.32.888836"
pypi_name = "certora-cli-alpha-master"
python_name = "python-certora-cli-alpha-master"
url = "https://pypi.org/project/certora-cli-alpha-master"
source = "PyPI"
archive_name = "certora_cli_alpha_master-20241230.22.32.888836.tar.gz"
extras = []
license_files_present = true