パッケージ: eprover (2.6+ds-3)

[ ソース: eprover  ]

Equational theorem prover

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

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

• dep: libc6 (>= 2.33)

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

• dep: picosat (>= 959)

  proof と core サポート付き SAT ソルバ

eprover のダウンロード

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

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	955.7 kB	11,346.0 kB	[ファイル一覧]
arm64	879.5 kB	12,089.0 kB	[ファイル一覧]
armel	718.9 kB	11,234.0 kB	[ファイル一覧]
armhf	689.6 kB	6,818.0 kB	[ファイル一覧]
i386	959.7 kB	11,130.0 kB	[ファイル一覧]
mips64el	982.5 kB	14,463.0 kB	[ファイル一覧]
mipsel	990.3 kB	14,316.0 kB	[ファイル一覧]
ppc64el	991.8 kB	14,521.0 kB	[ファイル一覧]
s390x	888.9 kB	13,735.0 kB	[ファイル一覧]