معرفی شرکت ها
CoVeriTeam-0.9
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | POSIX :: Linux |
| نام فایل | CoVeriTeam-0.9 |
| نام | CoVeriTeam |
| نسخه کتابخانه | 0.9 |
| نگهدارنده | [] |
| ایمیل نگهدارنده | [] |
| نویسنده | 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 |
نحوه نصب
نصب پکیج whl CoVeriTeam-0.9:
pip install CoVeriTeam-0.9.whl
نصب پکیج tar.gz CoVeriTeam-0.9:
pip install CoVeriTeam-0.9.tar.gz