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

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

средство доказательства теорем от Microsoft Research — привязки Python 3

Z3 — это современная программа для доказательства теорем от Microsoft Research. Подробное описание смотрите в пакете z3.

Этот пакет можно использовать для вызова Z3 через его программный интерфейс Python 3.

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

• dep: libz3-dev (= 4.13.3-1+b1) [не ia64]

  средство доказательства теорем от Microsoft Research — файлы для разработки

  dep: libz3-dev (= 4.8.12-3.1) [ia64]

• dep: python3

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

• dep: python3-pkg-resources

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

Загрузка python3-z3

Загрузить для всех доступных архитектур

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