معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

Python wrapper around the Boolector SMT solver

ویژگی	مقدار
سیستم عامل	OS Independent
نام فایل	PyBoolector-3.2.2.20221010.1
نام	PyBoolector
نسخه کتابخانه	3.2.2.20221010.1
نگهدارنده	['Matthew Ballance']
ایمیل نگهدارنده	['matt.ballance@gmail.com']
نویسنده	-
ایمیل نویسنده	-
آدرس صفحه اصلی	https://github.com/boolector/boolector
آدرس اینترنتی	https://pypi.org/project/PyBoolector/
مجوز	MIT License

This package, specifically, enables the Boolector Python wrapper to be installed from PyPi

مقدار	نام
>=2.7, !=3.0., !=3.1., !=3.2., !=3.3.	Python

نصب پکیج whl PyBoolector-3.2.2.20221010.1:

pip install PyBoolector-3.2.2.20221010.1.whl

نصب پکیج tar.gz PyBoolector-3.2.2.20221010.1:

pip install PyBoolector-3.2.2.20221010.1.tar.gz