[ 原始碼: eprover ]
套件:eprover(3.1.0+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.1.0+ds-1 | 904。5 kB | 10,673。0 kB | [檔案列表] |
amd64 | 3.1.0+ds-1 | 1,003。1 kB | 9,090。0 kB | [檔案列表] |
arm64 | 3.1.0+ds-1 | 892。1 kB | 9,200。0 kB | [檔案列表] |
armel | 3.1.0+ds-1 | 689。1 kB | 7,600。0 kB | [檔案列表] |
armhf | 3.1.0+ds-1 | 702。8 kB | 5,688。0 kB | [檔案列表] |
hppa (非官方移植版) | 3.1.0+ds-1 | 804。4 kB | 8,236。0 kB | [檔案列表] |
i386 | 3.1.0+ds-1 | 1,008。4 kB | 9,647。0 kB | [檔案列表] |
ia64 (非官方移植版) | 3.0.03+ds-1 | 1,492。3 kB | 22,244。0 kB | [檔案列表] |
m68k (非官方移植版) | 3.1.0+ds-1 | 647。9 kB | 7,006。0 kB | [檔案列表] |
mips64el | 3.1.0+ds-1 | 939。9 kB | 10,609。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 3.1.0+ds-1 | 1,003。3 kB | 12,990。0 kB | [檔案列表] |
ppc64el | 3.1.0+ds-1 | 1,013。9 kB | 11,825。0 kB | [檔案列表] |
riscv64 | 3.1.0+ds-1 | 967。8 kB | 7,781。0 kB | [檔案列表] |
s390x | 3.1.0+ds-1 | 920。6 kB | 10,451。0 kB | [檔案列表] |
sh4 (非官方移植版) | 3.1.0+ds-1 | 671。1 kB | 6,502。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 3.1.0+ds-1 | 738。2 kB | 15,055。0 kB | [檔案列表] |
x32 (非官方移植版) | 3.1.0+ds-1 | 960。3 kB | 8,391。0 kB | [檔案列表] |