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

[ Source:  ]

Ligningsteorembeviser

Denne pakke tilbyder værktøjer til at bevise ligningsteoremer: fra en matematisk specifikation i mange-sorterede første-orden logik med lighed og en hypotese/formodning, vil pakken kigge efter et bevis.

Other Packages Related to eprover

• dep: libc6 (>= 2.34)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: picosat (>= 959)

  SAT-løser med proof- og core-understøttelse

Download eprover

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ppc64 (unofficial port)	1,008.0 kB	13,055.0 kB	[list of files]