معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

توضیحات

CFFI-based bindings to the clingcon solver.

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

This package allows for adding the clingcon propagator as a theory to clingcon. It can also be used as a clingcon solver running: python -m clingcon CLINGCON_ARGUMENTS

نیازمندی

مقدار	نام
-	cffi
-	clingo

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

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

نحوه نصب

نصب پکیج whl clingcon-5.2.0:

pip install clingcon-5.2.0.whl

نصب پکیج tar.gz clingcon-5.2.0:

pip install clingcon-5.2.0.tar.gz