معرفی شرکت ها
CoVeriTeam-1.0
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | - |
| نام فایل | CoVeriTeam-1.0 |
| نام | CoVeriTeam |
| نسخه کتابخانه | 1.0 |
| نگهدارنده | [] |
| ایمیل نگهدارنده | [] |
| نویسنده | Sudeep Kanav |
| ایمیل نویسنده | - |
| آدرس صفحه اصلی | https://gitlab.com/sosy-lab/software/coveriteam |
| آدرس اینترنتی | https://pypi.org/project/CoVeriTeam/ |
| مجوز | Apache-2.0 |
نیازمندی
| مقدار | نام |
|---|---|
| >=4.8 | antlr4-python3-runtime |
| >=2.6 | benchexec |
| >=2.24 | requests |
| - | tqdm |
| - | coloredlogs |
نحوه نصب
نصب پکیج whl CoVeriTeam-1.0:
pip install CoVeriTeam-1.0.whl
نصب پکیج tar.gz CoVeriTeam-1.0:
pip install CoVeriTeam-1.0.tar.gz