软件包：gringo（5.4.1-3.1 以及其他的）

[ 源代码： gringo  ]

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 有关的软件包

• dep: libatomic1 (>= 4.8) [armel, mipsel]

  提供 __atomic 内置函数的支持库

• dep: libc6 (>= 2.34)

  GNU C 语言运行库：共享库
  同时作为一个虚包由这些包填实： libc6-udeb

• dep: libgcc-s1 (>= 3.0) [除 armel, armhf, i386, mipsel]

  GCC 支持库

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

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

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

• dep: liblua5.4-0 (>= 5.4.4)

  Shared library for the Lua interpreter version 5.4

• dep: libpython3.11 (>= 3.11.0)

  Shared Python runtime library (version 3.11)

• dep: libstdc++6 (>= 12) [armel, ppc64el]

  GNU 标准 C++ 库，第3版

  dep: libstdc++6 (>= 12.2.0-12) [除 armel, ppc64el]

• rec: clasp

  conflict-driven nogood learning answer set solver

下载 gringo

下载可用于所有硬件架构的

硬件架构	版本	软件包大小	安装后大小	文件
amd64	5.4.1-3.1+b1	1,843.4 kB	11,068.0 kB	[文件列表]
arm64	5.4.1-3.1+b1	1,657.0 kB	10,794.0 kB	[文件列表]
armel	5.4.1-3.1+b1	1,508.0 kB	10,249.0 kB	[文件列表]
armhf	5.4.1-3.1+b1	1,572.2 kB	8,905.0 kB	[文件列表]
i386	5.4.1-3.1+b1	1,928.0 kB	11,355.0 kB	[文件列表]
mips64el	5.4.1-3.1+b1	1,680.8 kB	12,709.0 kB	[文件列表]
mipsel	5.4.1-3.1+b1	1,643.5 kB	12,286.0 kB	[文件列表]
ppc64el	5.4.1-3.1+b1	1,925.1 kB	12,714.0 kB	[文件列表]
s390x	5.4.1-3.1+b1	1,646.2 kB	11,398.0 kB	[文件列表]