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
m68k (unofficial port)	649.3 kB	7,013.0 kB	[list of files]