Package: eprover (3.1.0+ds-1) [debports]

Links for eprover

Debian Resources:

Bug Reports

Download Source Package :

Not found

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.

Other Packages Related to eprover

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

GNU C könyvtár: megosztott könyvtárak
also a virtual package provided by libc6-udeb
dep: picosat (>= 959)

SAT solver with proof and core support

Download eprover

Download for all available architectures
Architecture	Package Size	Installed Size	Files
hppa (unofficial port)	804.4 kB	8,236.0 kB	[list of files]