パッケージ: 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]

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

• dep: libc6 (>= 2.38)

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

• dep: libgcc-s1 (>= 3.0) [armel, armhf, i386, riscv64 以外]

  GCC 共有ライブラリ

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

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

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

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

  Shared library for the Lua interpreter version 5.4

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

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

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

• rec: clasp

  conflict-driven nogood learning answer set solver

gringo のダウンロード

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

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
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	[ファイル一覧]
i386	5.6.2-2	1,936.6 kB	15,319.0 kB	[ファイル一覧]
mips64el	5.6.2-2	1,694.9 kB	17,428.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	[ファイル一覧]