Пакет: gringo (5.6.2-1 и другие)

Ссылки для gringo

Ресурсы Debian:

Исходный код gringo:

Сопровождающие:

Внешние ресурсы:

Сайт [www.potassco.org]

Подобные пакеты:

grounding tools for (disjunctive) logic programs

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

зависимости

рекомендации

предложения

enhances

dep: libatomic1 (>= 4.8) [armel, m68k, sh4]

библиотека для атомарного выполнения кода
dep: libc6 (>= 2.34) [не alpha, ia64, sh4]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb

dep: libc6 (>= 2.37) [sh4]
dep: libc6.1 (>= 2.26) [ia64]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6.1-udeb

dep: libc6.1 (>= 2.34) [alpha]
dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

вспомогательная библиотека GCC

dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [sh4]

dep: libgcc-s1 (>= 7) [i386]
dep: libgcc-s2 (>= 4.2.1) [m68k]

вспомогательная библиотека GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

вспомогательная библиотека GCC
dep: libgcc1 (>= 1:4.2) [ia64]

Пакет недоступен
dep: liblua5.3-0 [ia64]

Shared library for the Lua interpreter version 5.3
dep: liblua5.4-0 (>= 5.4.6) [не ia64]

Shared library for the Lua interpreter version 5.4
dep: libpython2.7 (>= 2.7) [ia64]

Пакет недоступен
dep: libpython3.11t64 (>= 3.11.5) [не ia64]

Shared Python runtime library (version 3.11)
dep: libstdc++6 (>= 13.1) [не ia64]

стандартная библиотека GNU C++ версии 3

dep: libstdc++6 (>= 7) [ia64]
dep: libunwind8 [ia64]

library to determine the call-chain of a program - runtime
dep: python3 [не ia64]

интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)

dep: python3 (<< 3.12) [не ia64]

dep: python3 (>= 3.11~) [не ia64]
dep: python3-cffi [не ia64]

Foreign Function Interface for Python 3 calling C code

rec: clasp

conflict-driven nogood learning answer set solver

Загрузка gringo

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	5.6.2-1+b1	1 878,1 Кб	17 910,0 Кб	[список файлов]
amd64	5.6.2-1+b1	1 990,3 Кб	16 250,0 Кб	[список файлов]
arm64	5.6.2-1+b1	1 752,4 Кб	16 218,0 Кб	[список файлов]
armel	5.6.2-1+b1	1 645,5 Кб	14 668,0 Кб	[список файлов]
armhf	5.6.2-1+b1	1 701,9 Кб	12 200,0 Кб	[список файлов]
hppa (неофициальный перенос)	5.6.2-1+b2	1 983,5 Кб	17 353,0 Кб	[список файлов]
i386	5.6.2-1+b1	2 056,1 Кб	16 416,0 Кб	[список файлов]
ia64 (неофициальный перенос)	5.2.2-2	2 640,4 Кб	13 938,0 Кб	[список файлов]
m68k (неофициальный перенос)	5.6.2-1+b1	1 809,5 Кб	15 352,0 Кб	[список файлов]
mips64el	5.6.2-1+b1	1 759,8 Кб	18 647,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	5.6.2-1+b1	1 997,8 Кб	20 570,0 Кб	[список файлов]
ppc64el	5.6.2-1+b1	1 994,7 Кб	19 226,0 Кб	[список файлов]
riscv64	5.6.2-1+b1	1 979,3 Кб	14 212,0 Кб	[список файлов]
s390x	5.6.2-1+b1	2 013,5 Кб	17 452,0 Кб	[список файлов]
sh4 (неофициальный перенос)	5.6.2-1+b1	2 163,9 Кб	15 373,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	5.6.2-1+b1	1 624,0 Кб	19 408,0 Кб	[список файлов]
x32 (неофициальный перенос)	5.6.2-1+b1	1 980,5 Кб	15 440,0 Кб	[список файлов]