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

strumento per dimostrare teoremi con equazioni

Questo pacchetto fornisce strumenti per dimostrare teoremi con equazioni: a partire da una specifica matematica in logica di primo ordine multiordinamento con uguaglianza e una ipotesi/congettura cercherà una dimostrazione.

Other Packages Related to eprover

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: picosat (>= 959)

risolutore SAT con gestione di dimostrazione e nucleo

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]