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

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

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

Z3 — это современная программа для доказательства теорем от Microsoft Research. Её можно использовать для проверки выполнимости логических формул по одной или нескольким теориям. Z3 идеально подходит для инструментов анализа и проверки программного обеспечения, поскольку некоторые распространённые конструкции программного обеспечения напрямую связаны с поддерживаемыми теориями.

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

Теги: Разработка программного обеспечения: Библиотеки, Роль: Библиотека разработчика

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

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

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

  dep: libz3-4 (= 4.8.12-3.1+b2) [не ia64]

Загрузка libz3-dev

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

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