すべてのオプション
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: gringo  ]

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

gringo に関するリンク

Screenshot

Debian の資源:

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 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

gringo のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
i386 1,936.6 kB15,319.0 kB [ファイル一覧]