Pakket: eprover (3.2.5+ds-1 en anderen)

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

Andere aan eprover gerelateerde pakketten

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

  GNU C Bibliotheek: Gedeelde bibliotheken
  Ook een virtueel pakket geboden door: libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

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

  GNU C Bibliotheek: Gedeelde bibliotheken
  Ook een virtueel pakket geboden door: libc6.1-udeb

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

• dep: picosat (>= 959)

  SAT solver with proof and core support

eprover downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	3.2.5+ds-1	908,4 kB	10.673,0 kB	[overzicht]
amd64	3.2.5+ds-1	1.021,5 kB	9.238,0 kB	[overzicht]
arm64	3.2.5+ds-1	904,2 kB	9.327,0 kB	[overzicht]
armel	3.2.5+ds-1	697,8 kB	7.624,0 kB	[overzicht]
armhf	3.2.5+ds-1	712,8 kB	5.717,0 kB	[overzicht]
hppa (unofficial port)	3.2.5+ds-1	807,3 kB	8.252,0 kB	[overzicht]
i386	3.2.5+ds-1	1.020,2 kB	9.767,0 kB	[overzicht]
ia64 (unofficial port)	3.0.03+ds-1	1.492,3 kB	22.244,0 kB	[overzicht]
m68k (unofficial port)	3.2.5+ds-1	649,3 kB	7.013,0 kB	[overzicht]
mips64el	3.2.5+ds-1	952,7 kB	10.682,0 kB	[overzicht]
ppc64 (unofficial port)	3.2.5+ds-1	1.008,0 kB	13.055,0 kB	[overzicht]
ppc64el	3.2.5+ds-1	1.012,3 kB	12.080,0 kB	[overzicht]
riscv64	3.2.5+ds-1	972,2 kB	7.780,0 kB	[overzicht]
s390x	3.2.5+ds-1	926,2 kB	10.499,0 kB	[overzicht]
sh4 (unofficial port)	3.2.5+ds-1	675,6 kB	6.502,0 kB	[overzicht]
sparc64 (unofficial port)	3.2.5+ds-1	736,5 kB	15.055,0 kB	[overzicht]
x32 (unofficial port)	3.2.5+ds-1	973,6 kB	8.531,0 kB	[overzicht]