معرفی شرکت ها

certora-cli-alpha-oz-package-eqchecker-20230411.7.27.849783

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Runner for the Certora Prover
ویژگی مقدار
سیستم عامل -
نام فایل certora-cli-alpha-oz-package-eqchecker-20230411.7.27.849783
نام certora-cli-alpha-oz-package-eqchecker
نسخه کتابخانه 20230411.7.27.849783
نگهدارنده []
ایمیل نگهدارنده []
نویسنده Certora
ایمیل نویسنده support@certora.com
آدرس صفحه اصلی https://pypi.org/project/certora-cli-alpha-oz-package-eqchecker
آدرس اینترنتی https://pypi.org/project/certora-cli-alpha-oz-package-eqchecker/
مجوز -
Commit a0a370e. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.


نیازمندی

مقدار نام
- tabulate
- requests
- pycryptodome
- tqdm
- click
- sly
- argcomplete


زبان مورد نیاز

مقدار نام
>=3.8.16 Python


نحوه نصب


نصب پکیج whl certora-cli-alpha-oz-package-eqchecker-20230411.7.27.849783:

    pip install certora-cli-alpha-oz-package-eqchecker-20230411.7.27.849783.whl


نصب پکیج tar.gz certora-cli-alpha-oz-package-eqchecker-20230411.7.27.849783:

    pip install certora-cli-alpha-oz-package-eqchecker-20230411.7.27.849783.tar.gz