パッケージ: gringo (5.6.2-2 など)

[ ソース: gringo  ]

(選言的) 論理プログラムのためのグラウンディングツール

現在の解集合ソルバは、変数のないプログラムを取り扱います。 したがって、与えられた一階変数を持つ入力プログラムと等価なグラウンド (変数のない) プログラムを計算するグラウンダが必要です。

このパッケージには次のツールが含まれています:

 - gringo: 一階変数を伴う入力プログラムから等価なグラウンド (変数フリー)
   を aspif フォーマットで計算します。この出力をさらに解集合ソルバ
   clasp で処理することができます。gringo シリーズ 5 からは、出力は
   smodels や cmodels などの smodels フォーマットと直接互換では
   なくなりました。lpconvert を使って aspif フォーマットから smodels
   フォーマットに変換してください。
 - clingo: gringo と clasp を組み合わせてモノリシックなシステムにします。
   この方法により、gringo と clasp がそれぞれ提供するよりもより詳細に
   グラウンディングおよびソルビングプロセスを制御することができます。
   マルチショット・ソルビング
 - lpconvert: gringo の aspif と smodels フォーマット間の変換器
 - reify: aspif フォーマットで与えられる論理プログラムを具体化する
   小さなユーティリティ。gringo でさらに処理できる一連のファクトが生成
   されます。

タグ: 役割: プログラム

その他の gringo 関連パッケージ

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

  __atomic ビルトイン関数を提供するサポートライブラリ

• dep: libc6 (>= 2.37) [sh4]

  GNU C ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

  dep: libc6 (>= 2.38) [alpha, ia64, 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.12t64 (>= 3.12.1) [sparc64]

  Shared Python runtime library (version 3.12)

• dep: libstdc++6 (>= 13.1) [arm64, ia64 以外]

  GNU 標準 C++ ライブラリ v3

  dep: libstdc++6 (>= 14) [arm64]

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

• dep: libunwind8 [ia64]

  プログラムのコールチェーン測定ライブラリ - ランタイム版

• dep: python3 [sparc64]

  interactive high-level object-oriented language (default python3 version)

  dep: python3 (<< 3.13) [sparc64]

  dep: python3 (>= 3.12~) [sparc64]

• dep: python3-cffi [sparc64]

  Foreign Function Interface for Python 3 calling C code

• rec: clasp

  conflict-driven nogood learning answer set solver

gringo のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
alpha (非公式の移植版)	5.6.2-2	1,755.8 kB	16,573.0 kB	[ファイル一覧]
amd64	5.6.2-2	1,839.8 kB	15,011.0 kB	[ファイル一覧]
arm64	5.6.2-2+b1	1,709.6 kB	15,012.0 kB	[ファイル一覧]
armel	5.6.2-2	1,553.6 kB	13,559.0 kB	[ファイル一覧]
armhf	5.6.2-2	1,573.7 kB	11,295.0 kB	[ファイル一覧]
hppa (非公式の移植版)	5.6.2-2	1,860.2 kB	16,190.0 kB	[ファイル一覧]
i386	5.6.2-2	1,936.6 kB	15,319.0 kB	[ファイル一覧]
ia64 (非公式の移植版)	5.2.2-2	2,640.4 kB	13,938.0 kB	[ファイル一覧]
m68k (非公式の移植版)	5.6.2-2	1,787.6 kB	14,411.0 kB	[ファイル一覧]
mips64el	5.6.2-2	1,694.9 kB	17,428.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	5.6.2-2	1,891.0 kB	18,851.0 kB	[ファイル一覧]
ppc64el	5.6.2-2	1,920.6 kB	17,699.0 kB	[ファイル一覧]
riscv64	5.6.2-2	1,867.5 kB	13,153.0 kB	[ファイル一覧]
s390x	5.6.2-2	1,851.8 kB	16,017.0 kB	[ファイル一覧]
sh4 (非公式の移植版)	5.6.2-2	2,034.3 kB	14,311.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	5.6.2-1+b2	1,628.6 kB	19,408.0 kB	[ファイル一覧]
x32 (非公式の移植版)	5.6.2-2	1,846.4 kB	14,419.0 kB	[ファイル一覧]