معرفی شرکت ها
gringo_5.2.2-5_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
grounding tools for (disjunctive) logic programs
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe amd64 |
| نام بسته | gringo |
| نام فایل بسته | gringo_5.2.2-5_amd64.deb |
| نسخه بسته | 5.2.2 |
| انتشار بسته | 5 |
| معماری بسته | amd64 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://www.potassco.org/clingo/ |
| مجوز | - |
| حجم دانلود | 2184928 |
| حجم نصب | 6712 |
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.2.2-5_i386.deb | 5.2.2 | i386 | Ubuntu universe |
| gringotts_1.2.10-3_amd64.deb | 1.2.10 | amd64 | Ubuntu universe |
| gringotts_1.2.10-3_i386.deb | 1.2.10 | i386 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.14 | libc6 |
| >= 1:3.0 | libgcc1 |
| - | liblua5.3-0 |
| >= 3.6.4~rc1 | libpython3.6 |
| >= 7 | libstdc++6 |
نحوه نصب
نصب پکیج deb gringo:
sudo apt-get install gringo_5.2.2-5_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/clingo |
| ./usr/bin/gringo |
| ./usr/bin/lpconvert |
| ./usr/bin/reify |
| ./usr/lib/libclingo.so.1.0 |
| ./usr/share/doc/gringo/README.md |
| ./usr/share/doc/gringo/changelog.Debian.gz |
| ./usr/share/doc/gringo/copyright |
| ./usr/share/doc/gringo/examples/c/CMakeLists.txt |
| ./usr/share/doc/gringo/examples/c/ast.c.gz |
| ./usr/share/doc/gringo/examples/c/backend.c.gz |
| ./usr/share/doc/gringo/examples/c/configuration.c.gz |
| ./usr/share/doc/gringo/examples/c/control.c |
| ./usr/share/doc/gringo/examples/c/model.c.gz |
| ./usr/share/doc/gringo/examples/c/propagator.c.gz |
| ./usr/share/doc/gringo/examples/c/solve-async.c |
| ./usr/share/doc/gringo/examples/c/statistics.c.gz |
| ./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.gz |
| ./usr/share/doc/gringo/examples/c/version.c |
| ./usr/share/doc/gringo/examples/cc/CMakeLists.txt |
| ./usr/share/doc/gringo/examples/cc/inject-terms.cc |
| ./usr/share/doc/gringo/examples/cc/solve-iteratively.cc |
| ./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.gz |
| ./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.gz |
| ./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 |
| ./usr/share/doc/gringo/examples/clingo/commit/commit-py.lp |
| ./usr/share/doc/gringo/examples/clingo/commit/encoding.lp |
| ./usr/share/doc/gringo/examples/clingo/consequences/README |
| ./usr/share/doc/gringo/examples/clingo/consequences/brave-lua.lp |
| ./usr/share/doc/gringo/examples/clingo/consequences/brave-py.lp |
| ./usr/share/doc/gringo/examples/clingo/consequences/example.lp |
| ./usr/share/doc/gringo/examples/clingo/context/README |
| ./usr/share/doc/gringo/examples/clingo/context/context-lua.lp |
| ./usr/share/doc/gringo/examples/clingo/context/context-py.lp |
| ./usr/share/doc/gringo/examples/clingo/context/encoding.lp |
| ... and 252 more |