[ bookworm ] [ trixie ] [ sid ]

[ Источник: eprover ]

Пакет: eprover (2.6+ds-3)

Ссылки для eprover

Ресурсы Debian:

Исходный код eprover:

Сопровождающие:

Внешние ресурсы:

Сайт [eprover.org]

Подобные пакеты:

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

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.33)

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

SAT solver with proof and core support

Загрузка eprover

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	955,7 Кб	11 346,0 Кб	[список файлов]
arm64	879,5 Кб	12 089,0 Кб	[список файлов]
armel	718,9 Кб	11 234,0 Кб	[список файлов]
armhf	689,6 Кб	6 818,0 Кб	[список файлов]
i386	959,7 Кб	11 130,0 Кб	[список файлов]
mips64el	982,5 Кб	14 463,0 Кб	[список файлов]
mipsel	990,3 Кб	14 316,0 Кб	[список файлов]
ppc64el	991,8 Кб	14 521,0 Кб	[список файлов]
s390x	888,9 Кб	13 735,0 Кб	[список файлов]