Paket: eprover (3.0.03+ds-1) [debports]

[ Källkod:  ]

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.

Andra paket besläktade med eprover

• dep: libc6.1 (>= 2.37)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6.1-udeb

• dep: picosat (>= 959)

  SAT solver with proof and core support

Hämta eprover

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
ia64 (inofficiell anpassning)	1.492,3 kbyte	22.244,0 kbyte	[filförteckning]