[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Источник: z3 ]

Пакет: python3-z3 (4.8.12-3.1 и другие)

Ссылки для python3-z3

Ресурсы Debian:

Исходный код z3:

Сопровождающие:

Внешние ресурсы:

Сайт [github.com]

Подобные пакеты:

theorem prover from Microsoft Research - Python 3 bindings

Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3 package for a detailed description.

This package can be used to invoke Z3 via its Python 3 API.

Другие пакеты, относящиеся к python3-z3

зависимости

рекомендации

предложения

enhances

dep: libz3-dev (= 4.8.12-3.1) [alpha, hppa, ia64, m68k, ppc64, sparc64, x32]

theorem prover from Microsoft Research - development files

dep: libz3-dev (= 4.8.12-3.1+b2) [не alpha, hppa, ia64, m68k, ppc64, sparc64, x32]
dep: python3

интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)
dep: python3-pkg-resources

обнаружение пакетов и доступ к ресурсам через pkg_resources

Загрузка python3-z3

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	4.8.12-3.1	76,5 Кб	595,0 Кб	[список файлов]
amd64	4.8.12-3.1+b2	76,5 Кб	595,0 Кб	[список файлов]
arm64	4.8.12-3.1+b2	76,5 Кб	595,0 Кб	[список файлов]
armel	4.8.12-3.1+b2	76,5 Кб	595,0 Кб	[список файлов]
armhf	4.8.12-3.1+b2	76,5 Кб	595,0 Кб	[список файлов]
hppa (неофициальный перенос)	4.8.12-3.1	76,5 Кб	595,0 Кб	[список файлов]
i386	4.8.12-3.1+b2	76,5 Кб	595,0 Кб	[список файлов]
ia64 (неофициальный перенос)	4.8.12-3.1	76,5 Кб	595,0 Кб	[список файлов]
m68k (неофициальный перенос)	4.8.12-3.1	76,5 Кб	595,0 Кб	[список файлов]
mips64el	4.8.12-3.1+b2	76,5 Кб	595,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	4.8.12-3.1	76,5 Кб	595,0 Кб	[список файлов]
ppc64el	4.8.12-3.1+b2	76,5 Кб	595,0 Кб	[список файлов]
riscv64	4.8.12-3.1+b2	76,5 Кб	595,0 Кб	[список файлов]
s390x	4.8.12-3.1+b2	76,5 Кб	595,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	4.8.12-3.1	76,5 Кб	595,0 Кб	[список файлов]
x32 (неофициальный перенос)	4.8.12-3.1	76,5 Кб	595,0 Кб	[список файлов]