archful = false
archive_name = "certora_cli_beta-8.20.1.tar.gz"
automode = true
extras = []
license = "GPL-3.0-only"
license_files_present = true
name = "certora-cli-beta"
python_name = "python-certora-cli-beta"
scripts = [
    "certoracvlformatter",
    "certoraeqcheck",
    "certoraevmprover",
    "certoramutate",
    "certoraranger",
    "certorarun",
    "certorasolanaprover",
    "certorasorobanprover",
    "certorasuiprover",
]
source = "PyPI"
summary = "Runner for the Certora Prover"
top_level_modules = [
    "certora_bins",
    "certora_cli",
    "certora_jars",
]
url = "https://github.com/Certora/CertoraProver"
version = "8.20.1"