Balík: eprover (3.2.5+ds-1) [debports]

[ Zdroj:  ]

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.

Ostatné balíky súvisiace s balíkom eprover

• dep: libc6.1 (>= 2.34)

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6.1-udeb

• dep: picosat (>= 959)

  SAT solver with proof and core support

Stiahnuť eprover

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	908.4 kB	10,673.0 kB	[zoznam súborov]