Пакет: libz3-jni (4.13.3-1)

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

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

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

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

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

• dep: libatomic1 (>= 4.8) [riscv64]

  библиотека для атомарного выполнения кода

• dep: libc6 (>= 2.17) [arm64, ppc64el]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.4) [не arm64, ppc64el, riscv64]

• dep: libgcc-s1 (>= 3.0) [не armel, armhf]

  вспомогательная библиотека GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libstdc++6 (>= 5)

  стандартная библиотека GNU C++ версии 3

• dep: libz3-4 (>= 4.13.3)

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

• dep: libz3-dev (= 4.13.3-1)

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

Загрузка libz3-jni

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

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	36,6 Кб	228,0 Кб	[список файлов]
arm64	34,8 Кб	268,0 Кб	[список файлов]
armel	31,6 Кб	180,0 Кб	[список файлов]
armhf	33,8 Кб	172,0 Кб	[список файлов]
i386	45,1 Кб	248,0 Кб	[список файлов]
mips64el	37,8 Кб	300,0 Кб	[список файлов]
ppc64el	40,4 Кб	332,0 Кб	[список файлов]
riscv64	35,1 Кб	204,0 Кб	[список файлов]
s390x	38,2 Кб	240,0 Кб	[список файлов]