[ bookworm ] [ trixie ] [ sid ]

Пакет-източник: eprover (2.6+ds-3)

Връзки за eprover

Ресурси за Debian:

Отговорници:

Външни препратки:

Начална страница [eprover.org]

Следните двоични пакети са компилирани от този пакет-източник:

eprover: Equational theorem prover

Други пакети, свързани с eprover

зависимости при компилиране

зависимости при компилиране (архитектурно-независими)

adep: debhelper-compat (= 13)

Пакетът не е наличен
adep: help2man

Automatic manpage generator
adep: picosat

SAT solver with proof and core support

Download eprover

Файл	Големина (в кБ)	контролна сума MD5
eprover_2.6+ds-3.dsc	1,9 кБ	8dc5fbe404eea8acf1c9afaa8c1ea6b6
eprover_2.6+ds.orig.tar.xz	1 054,8 кБ	a9479a59b6b3ed4f5209c5f3b0d46488
eprover_2.6+ds-3.debian.tar.xz	10,0 кБ	cacd19b43aa4b1d9e13a8284b3cad425

Хранилище на изходния код на пакета (СКП: Git): https://salsa.debian.org/math-team/eprover.git
Хранилище на изходния код на пакета (за разглеждане през браузър): https://salsa.debian.org/math-team/eprover