معرفی شرکت ها
cvc4-solver-1.6
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | - |
| نام فایل | cvc4-solver-1.6 |
| نام | cvc4-solver |
| نسخه کتابخانه | 1.6 |
| نگهدارنده | ['Sebastiano Mariani'] |
| ایمیل نگهدارنده | ['mariani.sebastiano@gmail.com'] |
| نویسنده | The CVC4 Solver |
| ایمیل نویسنده | - |
| آدرس صفحه اصلی | http://cvc4.cs.stanford.edu |
| آدرس اینترنتی | https://pypi.org/project/cvc4-solver/ |
| مجوز | GPL License |
نحوه نصب
نصب پکیج whl cvc4-solver-1.6:
pip install cvc4-solver-1.6.whl
نصب پکیج tar.gz cvc4-solver-1.6:
pip install cvc4-solver-1.6.tar.gz