[ 原始碼: gringo ]
套件: gringo (5.2.2-5)
gringo 的相關超連結
Trisquel 的資源:
下載原始碼套件 gringo:
維護者:
Original Maintainers:
- Debian Science Maintainers (郵件存檔)
- Thomas Krennwallner
外部的資源:
- 主頁 [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 有關的套件
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
同時作為一個虛擬套件由這些套件提供: libc6-udeb
- dep: libc6 (>= 2.4) [i386]
-
- dep: libgcc1 (>= 1:3.0) [amd64]
- GCC support library
- dep: libgcc1 (>= 1:4.2) [i386]
-
- dep: liblua5.3-0
- Shared library for the Lua interpreter version 5.3
-
- dep: libpython3.6 (>= 3.6.4~rc1)
- Shared Python runtime library (version 3.6)
-
- dep: libstdc++6 (>= 7)
- GNU Standard C++ Library v3
-
- rec: clasp
- conflict-driven nogood learning answer set solver