Пакунок: eprover (3.1.0+ds-1) [debports]

Links for eprover

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

External Resources:

Homepage [eprover.org]

Similar packages:

spass
prover9
cafeobj
prover9-doc
alt-ergo
metamath
libcoq-mathcomp-real-closed
maude
cvc4
libcvc4-7
libcvc4-4

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

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
dep: picosat (>= 959)

SAT solver with proof and core support

Завантажити eprover

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
hppa (unofficial port)	804.4 kB	8,236.0 kB	[список файлів]