все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: z3  ]

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

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

Screenshot

Ресурсы Debian:

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

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

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

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

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

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

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

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

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libz3-jni

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 31,7 Кб196,0 Кб [список файлов]
arm64 29,9 Кб204,0 Кб [список файлов]
armel 27,8 Кб156,0 Кб [список файлов]
armhf 29,3 Кб148,0 Кб [список файлов]
i386 39,2 Кб224,0 Кб [список файлов]
mips64el 33,5 Кб296,0 Кб [список файлов]
mipsel 35,4 Кб292,0 Кб [список файлов]
ppc64el 35,4 Кб268,0 Кб [список файлов]
s390x 32,5 Кб212,0 Кб [список файлов]