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

Пакет исходного кода: z3 (4.13.3-1)

Ссылки для z3

Из этого пакета исходного кода собираются следующие двоичные пакеты:

libz3-4: средство доказательства теорем от Microsoft Research — библиотеки
libz3-dev: средство доказательства теорем от Microsoft Research — файлы для разработки
libz3-java: средство доказательства теорем от Microsoft Research — привязки Java
libz3-jni: средство доказательства теорем от Microsoft Research — библиотека JNI
python3-z3: средство доказательства теорем от Microsoft Research — привязки Python 3
z3: средство доказательства теорем от Microsoft Research

adep: debhelper-compat (= 13)

Пакет недоступен
adep: cmake

платформонезависимая система сборки с открытым исходным кодом
adep: libsimde-dev

Implementations of SIMD instructions for all systems
adep: python3

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

Python3 Distutils Enhancements
adep: dh-sequence-python3

виртуальный пакет, предоставляемый dh-python
adep: dh-sequence-javahelper [не hppa hurd-any m68k sh4]

виртуальный пакет, предоставляемый javahelper
adep: default-jdk [не hppa hurd-any m68k sh4]

Standard Java or Java compatible Development Kit

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/pkg-llvm-team/z3.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/pkg-llvm-team/z3