معرفی شرکت ها

enigma-sat-0.0.3

Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
0.0.3
0.0.2
0.0.3
0.0.2

توضیحات

Enigma SAT-solver.
ویژگی مقدار
سیستم عامل -
نام فایل enigma-sat-0.0.3
نام enigma-sat
نسخه کتابخانه 0.0.3
نگهدارنده []
ایمیل نگهدارنده []
نویسنده joeyp722
ایمیل نویسنده -
آدرس صفحه اصلی https://github.com/joeyp722/Enigma
آدرس اینترنتی https://pypi.org/project/enigma-sat/
مجوز Apache-2.0 license
# Enigma Enigma is a SAT-solver that uses pytorch. It is a experimental SAT-solver with polynomial time-complexity. ## How to install Enigma Firstly, install pytorch: > https://pytorch.org/ Secondly, install Enigma: > pip install enigma-sat ## How to use Enigma Please see the file: > documentation/how_to_use_enigma.ipynb


نیازمندی

مقدار نام
>=3.2.0 tokenize-rt
- tqdm


زبان مورد نیاز

مقدار نام
>=3.9.13 Python


نحوه نصب


نصب پکیج whl enigma-sat-0.0.3:

    pip install enigma-sat-0.0.3.whl


نصب پکیج tar.gz enigma-sat-0.0.3:

    pip install enigma-sat-0.0.3.tar.gz