Package: mace2 (3.3f-1.1)

[ Source: otter  ]

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

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

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

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

Tags: Role: Program, Purpose: Searching

Other Packages Related to mace2

• dep: libc6 (>= 2.7)

  組込用 GNU C ライブラリ: 共有ライブラリ
  also a virtual package provided by libc6-udeb

• rec: c-shell

  virtual package provided by csh, tcsh

• rec: otter

  resolution-style theorem prover

• rec: perl

  Larry Wall 作の実用的な抽出とレポート用の言語

• sug: swi-prolog

  ISO/Edinburgh スタイルの Prolog インタプリタ

  or gprolog

  GNU Prolog compiler

Download mace2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
armel	501.0 kB	1,384.0 kB	[list of files]