معرفی شرکت ها

gringo_5.4.1-3.1+b1_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

grounding tools for (disjunctive) logic programs
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته gringo
نام فایل بسته gringo_5.4.1-3.1+b1_s390x.deb
نسخه بسته 5.4.1
انتشار بسته 3.1+b1
معماری بسته s390x
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.potassco.org/clingo/
مجوز -
حجم دانلود 1685732
حجم نصب 11398
Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program. . This package contains the following tools: . - gringo: a grounder that, given an input program with first-order variables, computes an equivalent ground (variable-free) program in aspif format. Its output can be processed further with answer set solver clasp. Starting with gringo series 5, its output is no longer directly compatible with solvers like smodels or cmodels reading smodels format. Use lpconvert for translating aspif format to smodels format. - clingo: combines both gringo and clasp into a monolithic system. This way it offers more control over the grounding and solving process than gringo and clasp can offer individually: multi-shot solving. - lpconvert: converter between gringo's aspif and smodels format. - reify: small utility that reifies logic programs given in aspif format. It produces a set of facts, which can be processed further with gringo.


جایگزین ها

بسته نسخه معماری مخزن
gringo_5.4.1-3.1+b1_amd64.deb 5.4.1 amd64 Debian main
gringo_5.4.1-3.1+b1_arm64.deb 5.4.1 arm64 Debian main
gringo_5.4.1-3.1+b1_armel.deb 5.4.1 armel Debian main
gringo_5.4.1-3.1+b1_armhf.deb 5.4.1 armhf Debian main
gringo_5.4.1-3.1+b1_i386.deb 5.4.1 i386 Debian main
gringo_5.4.1-3.1+b1_mips64el.deb 5.4.1 mips64el Debian main
gringo_5.4.1-3.1+b1_mipsel.deb 5.4.1 mipsel Debian main
gringo_5.4.1-3.1+b1_ppc64el.deb 5.4.1 ppc64el Debian main
gringotts_1.2.10-4_amd64.deb 1.2.10 amd64 Debian main
gringotts_1.2.10-4_arm64.deb 1.2.10 arm64 Debian main
gringotts_1.2.10-4_armel.deb 1.2.10 armel Debian main
gringotts_1.2.10-4_armhf.deb 1.2.10 armhf Debian main
gringotts_1.2.10-4_i386.deb 1.2.10 i386 Debian main
gringotts_1.2.10-4_mips64el.deb 1.2.10 mips64el Debian main
gringotts_1.2.10-4_mipsel.deb 1.2.10 mipsel Debian main
gringotts_1.2.10-4_ppc64el.deb 1.2.10 ppc64el Debian main
gringotts_1.2.10-4_s390x.deb 1.2.10 s390x Debian main


نیازمندی

مقدار نام
>= 2.34 libc6
>= 3.0 libgcc-s1
>= 5.4.4 liblua5.4-0
>= 3.11.0 libpython3.11
>= 12.2.0-12 libstdc++6


نحوه نصب


نصب پکیج deb gringo:

    sudo apt-get install gringo_5.4.1-3.1+b1_s390x.deb


فایل ها

مسیرها
./usr/bin/clingo
./usr/bin/gringo
./usr/bin/lpconvert
./usr/bin/reify
./usr/lib/libclingo.so.3.0
./usr/share/doc/gringo/NEWS.Debian.gz
./usr/share/doc/gringo/README.md
./usr/share/doc/gringo/TODO.Debian
./usr/share/doc/gringo/changelog.Debian.gz
./usr/share/doc/gringo/changelog.Debian.s390x.gz
./usr/share/doc/gringo/changelog.gz
./usr/share/doc/gringo/copyright
./usr/share/doc/gringo/examples/c/CMakeLists.txt
./usr/share/doc/gringo/examples/c/application.c
./usr/share/doc/gringo/examples/c/ast.c
./usr/share/doc/gringo/examples/c/backend.c
./usr/share/doc/gringo/examples/c/configuration.c
./usr/share/doc/gringo/examples/c/control.c
./usr/share/doc/gringo/examples/c/model.c
./usr/share/doc/gringo/examples/c/propagator.c
./usr/share/doc/gringo/examples/c/solve-async.c
./usr/share/doc/gringo/examples/c/statistics.c
./usr/share/doc/gringo/examples/c/symbol.c
./usr/share/doc/gringo/examples/c/symbolic-atoms.c
./usr/share/doc/gringo/examples/c/theory-atoms.c
./usr/share/doc/gringo/examples/c/version.c
./usr/share/doc/gringo/examples/cc/CMakeLists.txt
./usr/share/doc/gringo/examples/cc/heuristic.cc
./usr/share/doc/gringo/examples/cc/inject-terms.cc
./usr/share/doc/gringo/examples/cc/solve-iteratively.cc
./usr/share/doc/gringo/examples/clingo/15puzzle/README.md
./usr/share/doc/gringo/examples/clingo/15puzzle/encoding.lp
./usr/share/doc/gringo/examples/clingo/15puzzle/instance1.lp
./usr/share/doc/gringo/examples/clingo/15puzzle/instance2.lp
./usr/share/doc/gringo/examples/clingo/addclause/README
./usr/share/doc/gringo/examples/clingo/addclause/addclause-lua.lp
./usr/share/doc/gringo/examples/clingo/addclause/addclause-py.lp
./usr/share/doc/gringo/examples/clingo/blocksworld/README
./usr/share/doc/gringo/examples/clingo/blocksworld/blocks_01.lp
./usr/share/doc/gringo/examples/clingo/blocksworld/control_01.lua
./usr/share/doc/gringo/examples/clingo/blocksworld/control_01.out
./usr/share/doc/gringo/examples/clingo/blocksworld/lua.lp
./usr/share/doc/gringo/examples/clingo/blocksworld/lua_interpret.lp
./usr/share/doc/gringo/examples/clingo/blocksworld/world.lp
./usr/share/doc/gringo/examples/clingo/cannot/README.md
./usr/share/doc/gringo/examples/clingo/cannot/cannot-lua.lp
./usr/share/doc/gringo/examples/clingo/cannot/cannot-py.lp
./usr/share/doc/gringo/examples/clingo/cannot/example.lp
./usr/share/doc/gringo/examples/clingo/commit/README
./usr/share/doc/gringo/examples/clingo/commit/commit-lua.lp
... and 280 more