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

Paquet source : z3 (4.13.3-1)

Liens pour z3

Les paquets binaires suivants sont compilés à partir de ce paquet source :

libz3-4: justificateur de théorème par Microsoft Research —⋅bibliothèques d'exécution
libz3-dev: justificateur de théorème par Microsoft Research — fichiers de développement
libz3-java: justificateur de théorème par Microsoft Research — liaisons Java
libz3-jni: justificateur de théorème par Microsoft Research —⋅bibliothèque JNI
python3-z3: justificateur de théorème de Microsoft Research – liaisons de Python 3
z3: justificateur de théorème de Microsoft Research

adep: debhelper-compat (= 13)

Paquet indisponible
adep: cmake

système make multiplate-forme
adep: libsimde-dev

Implementations of SIMD instructions for all systems
adep: python3

langage orienté objet interactif de haut niveau – version par défaut de Python 3
adep: python3-setuptools

Améliorations de Python3 Distutils
adep: dh-sequence-python3

paquet virtuel fourni par dh-python
adep: dh-sequence-javahelper [non hppa hurd-any m68k sh4]

paquet virtuel fourni par javahelper
adep: default-jdk [non hppa hurd-any m68k sh4]

kit de développement Java standard ou compatible

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/pkg-llvm-team/z3.git
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/pkg-llvm-team/z3