Пакет: eprover (3.2.5+ds-1)

Ссылки для eprover

Отслеживание заплат eLxr

Исходный код 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.34)

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

SAT solver with proof and core support

Загрузка eprover

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	1 021,5 Кб	9 238,0 Кб	[список файлов]
arm64	904,2 Кб	9 327,0 Кб	[список файлов]