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

[ ソース: otter  ]

resolution-style theorem prover

OTTER is an automated theorem prover for equational logic developed at Argonne National Laboratory.

OTTER's inference rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing and restricting searches for proofs. OTTER can also be used as a symbolic calculator and has an embedded equational programming system.

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

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

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

• dep: libc6 (>= 2.13) [s390x]

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

  dep: libc6 (>= 2.7) [ia64, kfreebsd-amd64, kfreebsd-i386, s390x 以外]

• dep: libc6.1 (>= 2.7) [ia64]

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

• rec: c-shell

  以下のパッケージによって提供される仮想パッケージです: csh, tcsh

• rec: mace2

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

• rec: perl

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

• sug: formed

  formula editor for first-order logic formulae

otter のダウンロード

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

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	767.0 kB	1,289.0 kB	[ファイル一覧]
armel	745.6 kB	1,760.0 kB	[ファイル一覧]
armhf	733.9 kB	1,168.0 kB	[ファイル一覧]
i386	759.0 kB	1,286.0 kB	[ファイル一覧]
ia64	852.4 kB	1,704.0 kB	[ファイル一覧]
kfreebsd-amd64	766.6 kB	1,221.0 kB	[ファイル一覧]
kfreebsd-i386	759.0 kB	1,218.0 kB	[ファイル一覧]
mips	750.9 kB	1,301.0 kB	[ファイル一覧]
mipsel	751.3 kB	1,301.0 kB	[ファイル一覧]
powerpc	757.8 kB	1,282.0 kB	[ファイル一覧]
s390	761.1 kB	1,293.0 kB	[ファイル一覧]
s390x	766.9 kB	1,332.0 kB	[ファイル一覧]
sparc	747.6 kB	1,270.0 kB	[ファイル一覧]