Paketti: eprover (3.2.5+ds-1 ja muut)

[ Source: 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.

Muut pakettiin eprover liittyvät paketit

• dep: libc6 (>= 2.34) [ei alpha, ia64, sh4]

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: picosat (>= 959)

  SAT solver with proof and core support

Imuroi eprover

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	3.2.5+ds-1	908.4 kt	10,673.0 kt	[tiedostoluettelo]
amd64	3.2.5+ds-1	1,021.5 kt	9,238.0 kt	[tiedostoluettelo]
arm64	3.2.5+ds-1	904.2 kt	9,327.0 kt	[tiedostoluettelo]
armel	3.2.5+ds-1	697.8 kt	7,624.0 kt	[tiedostoluettelo]
armhf	3.2.5+ds-1	712.8 kt	5,717.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	3.2.5+ds-1	807.3 kt	8,252.0 kt	[tiedostoluettelo]
i386	3.2.5+ds-1	1,020.2 kt	9,767.0 kt	[tiedostoluettelo]
ia64 (epävirallinen siirros)	3.0.03+ds-1	1,492.3 kt	22,244.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	3.2.5+ds-1	649.3 kt	7,013.0 kt	[tiedostoluettelo]
mips64el	3.2.5+ds-1	952.7 kt	10,682.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	3.2.5+ds-1	1,008.0 kt	13,055.0 kt	[tiedostoluettelo]
ppc64el	3.2.5+ds-1	1,012.3 kt	12,080.0 kt	[tiedostoluettelo]
riscv64	3.2.5+ds-1	972.2 kt	7,780.0 kt	[tiedostoluettelo]
s390x	3.2.5+ds-1	926.2 kt	10,499.0 kt	[tiedostoluettelo]
sh4 (epävirallinen siirros)	3.2.5+ds-1	675.6 kt	6,502.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	3.2.5+ds-1	736.5 kt	15,055.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	3.2.5+ds-1	973.6 kt	8,531.0 kt	[tiedostoluettelo]