معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

توضیحات

CFFI-based bindings to the clingo-dl solver.

ویژگی	مقدار
سیستم عامل	-
نام فایل	clingo-dl-1.4.0
نام	clingo-dl
نسخه کتابخانه	1.4.0
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Roland Kaminski
ایمیل نویسنده	kaminski@cs.uni-potsdam.de
آدرس صفحه اصلی	https://github.com/potassco/clingo-dl
آدرس اینترنتی	https://pypi.org/project/clingo-dl/
مجوز	MIT

This package allows for adding the clingo-dl propagator as a theory to clingo. It can also be used as a clingo-dl solver running: python -m clingodl CLINGODL_ARGUMENTS

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

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

نحوه نصب

نصب پکیج whl clingo-dl-1.4.0:

pip install clingo-dl-1.4.0.whl

نصب پکیج tar.gz clingo-dl-1.4.0:

pip install clingo-dl-1.4.0.tar.gz