Paquet source : z3 (4.8.12-3.1)
Liens pour z3
Ressources Debian :
Responsables :
Ressources externes :
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
Autres paquets associés à z3
-
- adep:
debhelper-compat
(= 13)
- Paquet indisponible
-
- adep:
dh-python
- outils d’assistance pour Debian pour empaqueter les bibliothèques et applications Python
-
- adep:
python3
- langage orienté objet interactif de haut niveau – version par défaut de Python 3
-
- adep:
cmake
- système make multiplate-forme
-
- adep:
libsimde-dev
- Implementations of SIMD instructions for all systems
-
- adep:
javahelper
[non hppa hurd-i386 m68k sh4]
- scripts d'aide pour l'empaquetage de programmes Java
-
- adep:
default-jdk
[non hppa hurd-i386 m68k sh4]
- Standard Java or Java compatible Development Kit
