معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

توضیحات

SMT Solver for Nonlinear Theories of Reals

ویژگی	مقدار
سیستم عامل	-
نام فایل	dreal-4.21.6.2
نام	dreal
نسخه کتابخانه	4.21.6.2
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Soonho Kong
ایمیل نویسنده	soonho.kong@gmail.com
آدرس صفحه اصلی	https://github.com/dreal/dreal4
آدرس اینترنتی	https://pypi.org/project/dreal/
مجوز	-

dReal4: SMT Solver for Nonlinear Theories of Reals Please visit https://github.com/dreal/dreal4. Precompiled Wheels ------------------ We provide precompiled distributions (`.whl`) for the following environments: - macOS 11.0 / 10.15 / 10.14 + CPython 3.7 - Linux + CPython 3.6 / 3.7 / 3.8 / 3.9 You still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions below: macOS 11.0 / 10.15 / 10.14 brew tap dreal-deps/ibex brew tap dreal/dreal brew install dreal --only-dependencies Ubuntu 20.04 / 18.04 curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install.sh | sudo bash Build from Source ----------------- If `pip` fails to find a precompiled distribution, it fetches dReal source and build it from scratch. You need to install the required packages to do so. To install them, please follow the instructions below: macOS 11.0 / 10.15 / 10.14 brew tap dreal-deps/ibex brew tap dreal/dreal brew install dreal --only-dependencies --build-from-source Ubuntu 20.04 / 18.04 curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash

نحوه نصب

نصب پکیج whl dreal-4.21.6.2:

pip install dreal-4.21.6.2.whl

نصب پکیج tar.gz dreal-4.21.6.2:

pip install dreal-4.21.6.2.tar.gz