パッケージ: eprover (3.2.5+ds-1)

eprover に関するリンク

Debian の資源:

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

メンテナ:

外部の資源:

ホームページ [eprover.org]

類似のパッケージ:

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

依存

推奨

提案

enhances

dep: libc6 (>= 2.34)

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

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

eprover のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	1,021.5 kB	9,238.0 kB	[ファイル一覧]
arm64	904.2 kB	9,327.0 kB	[ファイル一覧]
armhf	712.8 kB	5,717.0 kB	[ファイル一覧]
i386	1,020.2 kB	9,767.0 kB	[ファイル一覧]
ppc64el	1,012.3 kB	12,080.0 kB	[ファイル一覧]
riscv64	972.2 kB	7,780.0 kB	[ファイル一覧]
s390x	926.2 kB	10,499.0 kB	[ファイル一覧]