[ bookworm ] [ trixie ] [ sid ]

Zdrojový balík: eprover (2.6+ds-3)

Odkazy pre eprover

Zdroje Debian:

Správcovia:

Externé zdroje:

Domovská stránka [eprover.org]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

eprover: Equational theorem prover

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

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Balík nie je dostupný
adep: help2man

automatický generátor manuálových stránok
adep: picosat

SAT solver with proof and core support

Download eprover

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
eprover_2.6+ds-3.dsc	1.9 kB	8dc5fbe404eea8acf1c9afaa8c1ea6b6
eprover_2.6+ds.orig.tar.xz	1,054.8 kB	a9479a59b6b3ed4f5209c5f3b0d46488
eprover_2.6+ds-3.debian.tar.xz	10.0 kB	cacd19b43aa4b1d9e13a8284b3cad425

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/math-team/eprover.git
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/math-team/eprover