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

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

otter に関するリンク

Screenshot

Debian の資源:

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

  • 依存
  • 推奨
  • 提案
  • enhances

otter のダウンロード

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