[ 原始碼: eprover ]
套件:eprover(3.0.03+ds-1 以及其他的)
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.34) [除 alpha, ia64, sh4]
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6-udeb
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: picosat (>= 959)
- SAT solver with proof and core support
下載 eprover
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 3.0.03+ds-1 | 1,145。1 kB | 13,106。0 kB | [檔案列表] |
amd64 | 3.0.03+ds-1 | 1,443。6 kB | 11,262。0 kB | [檔案列表] |
arm64 | 3.0.03+ds-1 | 1,212。3 kB | 11,695。0 kB | [檔案列表] |
armel | 3.0.03+ds-1 | 1,011。8 kB | 10,139。0 kB | [檔案列表] |
armhf | 3.0.03+ds-1 | 1,040。5 kB | 7,620。0 kB | [檔案列表] |
hppa (非官方移植版) | 3.0.03+ds-1 | 1,079。8 kB | 10,278。0 kB | [檔案列表] |
i386 | 3.0.03+ds-1 | 1,335。8 kB | 12,071。0 kB | [檔案列表] |
ia64 (非官方移植版) | 3.0.03+ds-1 | 1,492。3 kB | 22,244。0 kB | [檔案列表] |
m68k (非官方移植版) | 3.0.03+ds-1 | 833。9 kB | 8,699。0 kB | [檔案列表] |
mips64el | 3.0.03+ds-1 | 1,209。3 kB | 13,079。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 3.0.03+ds-1 | 1,320。8 kB | 15,998。0 kB | [檔案列表] |
ppc64el | 3.0.03+ds-1 | 1,339。4 kB | 14,960。0 kB | [檔案列表] |
riscv64 | 3.0.03+ds-1+b1 | 1,404。6 kB | 10,041。0 kB | [檔案列表] |
s390x | 3.0.03+ds-1 | 1,273。0 kB | 12,619。0 kB | [檔案列表] |
sh4 (非官方移植版) | 3.0.03+ds-1 | 884。1 kB | 8,251。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 3.0.03+ds-1 | 1,016。1 kB | 16,081。0 kB | [檔案列表] |
x32 (非官方移植版) | 3.0.03+ds-1 | 1,329。3 kB | 10,339。0 kB | [檔案列表] |