{"package": "certora-cli-alpha-dominik-change-mus-enumeration-solver", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-dominik-change-mus-enumeration-solver", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-dominik-change-mus-enumeration-solver", "releases": {"20230519.9.3.809548": {"released": "2023-05-19 09:03:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548-py3-none-any.whl", "filehash": "9387c204601494a21b58665adac709ed9342c460b0df9c902c4d334834741503", "filesize": 39015500, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}}}