Package: eprover (3.2.5+ds-1 and others)

[ Source: eprover  ]

strumento per dimostrare teoremi con equazioni

Questo pacchetto fornisce strumenti per dimostrare teoremi con equazioni: a partire da una specifica matematica in logica di primo ordine multiordinamento con uguaglianza e una ipotesi/congettura cercherà una dimostrazione.

Other Packages Related to eprover

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

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

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

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

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

• dep: picosat (>= 959)

  risolutore SAT con gestione di dimostrazione e nucleo

Download eprover

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	3.2.5+ds-1	908.4 kB	10,673.0 kB	[list of files]
amd64	3.2.5+ds-1	1,021.5 kB	9,238.0 kB	[list of files]
arm64	3.2.5+ds-1	904.2 kB	9,327.0 kB	[list of files]
armel	3.2.5+ds-1	697.8 kB	7,624.0 kB	[list of files]
armhf	3.2.5+ds-1	712.8 kB	5,717.0 kB	[list of files]
hppa (unofficial port)	3.2.5+ds-1	807.3 kB	8,252.0 kB	[list of files]
i386	3.2.5+ds-1	1,020.2 kB	9,767.0 kB	[list of files]
ia64 (unofficial port)	3.0.03+ds-1	1,492.3 kB	22,244.0 kB	[list of files]
m68k (unofficial port)	3.2.5+ds-1	649.3 kB	7,013.0 kB	[list of files]
mips64el	3.2.5+ds-1	952.7 kB	10,682.0 kB	[list of files]
ppc64 (unofficial port)	3.2.5+ds-1	1,008.0 kB	13,055.0 kB	[list of files]
ppc64el	3.2.5+ds-1	1,012.3 kB	12,080.0 kB	[list of files]
riscv64	3.2.5+ds-1	972.2 kB	7,780.0 kB	[list of files]
s390x	3.2.5+ds-1	926.2 kB	10,499.0 kB	[list of files]
sh4 (unofficial port)	3.2.5+ds-1	675.6 kB	6,502.0 kB	[list of files]
sparc64 (unofficial port)	3.2.5+ds-1	736.5 kB	15,055.0 kB	[list of files]
x32 (unofficial port)	3.2.5+ds-1	973.6 kB	8,531.0 kB	[list of files]