Пакет: eprover (3.2.5+ds-1 и другие)

[ Источник: 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.

Другие пакеты, относящиеся к eprover

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

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.40) [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.2.5+ds-1	908,4 Кб	10 673,0 Кб	[список файлов]
amd64	3.2.5+ds-1	1 021,5 Кб	9 238,0 Кб	[список файлов]
arm64	3.2.5+ds-1	904,2 Кб	9 327,0 Кб	[список файлов]
armel	3.2.5+ds-1	697,8 Кб	7 624,0 Кб	[список файлов]
armhf	3.2.5+ds-1	712,8 Кб	5 717,0 Кб	[список файлов]
hppa (неофициальный перенос)	3.2.5+ds-1	807,3 Кб	8 252,0 Кб	[список файлов]
i386	3.2.5+ds-1	1 020,2 Кб	9 767,0 Кб	[список файлов]
ia64 (неофициальный перенос)	3.0.03+ds-1	1 492,3 Кб	22 244,0 Кб	[список файлов]
m68k (неофициальный перенос)	3.2.5+ds-1	649,3 Кб	7 013,0 Кб	[список файлов]
mips64el	3.2.5+ds-1	952,7 Кб	10 682,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	3.2.5+ds-1	1 008,0 Кб	13 055,0 Кб	[список файлов]
ppc64el	3.2.5+ds-1	1 012,3 Кб	12 080,0 Кб	[список файлов]
riscv64	3.2.5+ds-1	972,2 Кб	7 780,0 Кб	[список файлов]
s390x	3.2.5+ds-1	926,2 Кб	10 499,0 Кб	[список файлов]
sh4 (неофициальный перенос)	3.2.5+ds-1	675,6 Кб	6 502,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	3.2.5+ds-1	736,5 Кб	15 055,0 Кб	[список файлов]
x32 (неофициальный перенос)	3.2.5+ds-1	973,6 Кб	8 531,0 Кб	[список файлов]