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

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

Пакет: libz3-java (4.8.12-3.1)

Ссылки для libz3-java

Ресурсы Debian:

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

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

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

Сайт [github.com]

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

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

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

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

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

зависимости

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

предложения

enhances

dep: libz3-dev

средство доказательства теорем от Microsoft Research — файлы для разработки
dep: libz3-jni (<< 4.8.12-3.1.1~)

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

dep: libz3-jni (>= 4.8.12-3.1)

Загрузка libz3-java

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	159,3 Кб	186,0 Кб	[список файлов]
arm64	159,3 Кб	186,0 Кб	[список файлов]
armel	159,3 Кб	186,0 Кб	[список файлов]
armhf	159,3 Кб	186,0 Кб	[список файлов]
i386	159,3 Кб	186,0 Кб	[список файлов]
mips64el	159,3 Кб	186,0 Кб	[список файлов]
mipsel	159,3 Кб	186,0 Кб	[список файлов]
ppc64el	159,3 Кб	186,0 Кб	[список файлов]
s390x	159,3 Кб	186,0 Кб	[список файлов]