すべてのオプション
jessie  ] [  sid  ]
[ ソース: otter  ]

パッケージ: mace2 (3.3f-1.1)

mace2 に関するリンク

Screenshot

Debian の資源:

otter ソースパッケージをダウンロード:

メンテナ:

類似のパッケージ:

一階述語論理の有限モデル探索プログラム

MACE は、米国アルゴンヌ国立研究所で開発された一階述語論理および等式論理の有 限モデル探索プログラムです。

このパッケージには、MACE のコアにある命題決定手続を直接呼び出す ANLDP が含 まれています。

MACE は、論理の同じクラスの反論を検索する OTTER の相補的なコンパニオンとし て機能します。特に一階述語の問題がある場合は、OTTER は証明を探索し、MACE は 同じ入力ファイルから反例を探索します。

タグ: 役割: プログラム, 目的: 検索

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

  • 依存
  • 推奨
  • 提案
  • enhances

mace2 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 550.6 kB1,126.0 kB [ファイル一覧]
armel 501.0 kB1,384.0 kB [ファイル一覧]
armhf 477.8 kB853.0 kB [ファイル一覧]
i386 532.0 kB1,120.0 kB [ファイル一覧]