[ bianca ]

[ Source: eprover ]

Paketti: eprover (3.2.5+ds-1)

Links for eprover

eLxr Patch Tracker

Imuroi lähdekoodipaketti eprover:

Ylläpitäjät:

External Resources:

Kotisivu [eprover.org]

Samankaltaisia paketteja:

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.

Muut pakettiin eprover liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: picosat (>= 959)

SAT solver with proof and core support

Imuroi eprover

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	1,021.5 kt	9,238.0 kt	[tiedostoluettelo]
arm64	904.2 kt	9,327.0 kt	[tiedostoluettelo]