معرفی شرکت ها
gringo_5.4.1-3.1+b1_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Debian Bookworm-12 |
مخزن | Debian main i386 |
نام بسته | gringo |
نام فایل بسته | gringo_5.4.1-3.1+b1_i386.deb |
نسخه بسته | 5.4.1 |
انتشار بسته | 3.1+b1 |
معماری بسته | i386 |
نگهدارنده | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | https://www.potassco.org/clingo/ |
مجوز | - |
حجم دانلود | 1974292 |
حجم نصب | 11355 |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
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_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 |
gringo_5.4.1-3.1+b1_s390x.deb | 5.4.1 | s390x | 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 |
>= 7 | 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_i386.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.i386.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 |