Package: eprover (2.6+ds-3)

[ Source: eprover  ]

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.33)

  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
i386	959.7 kB	11,130.0 kB	[list of files]