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

[ Paquet source : z3 ]

Paquet : libz3-java (4.13.3-1)

Liens pour libz3-java

Ressources Debian :

Télécharger le paquet source z3 :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

justificateur de théorème par Microsoft Research — liaisons Java

Z3 est un justificateur de théorème à la pointe de l’art de Microsoft Research. Consulter le paquet z3 pour une description plus complète.

Ce paquet peut être utilisé pour appeler z3 à l’aide de son API Java.

Autres paquets associés à libz3-java

dépendances

recommandations

suggestions

enhances

dep: libz3-dev (= 4.13.3-1)

justificateur de théorème par Microsoft Research — fichiers de développement
dep: libz3-jni (<< 4.13.3-1.1~)

justificateur de théorème par Microsoft Research —⋅bibliothèque JNI

dep: libz3-jni (>= 4.13.3-1)

Télécharger libz3-java

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	177,9 ko	204,0 ko	[liste des fichiers]
amd64	177,9 ko	204,0 ko	[liste des fichiers]
arm64	177,9 ko	204,0 ko	[liste des fichiers]
armel	177,9 ko	204,0 ko	[liste des fichiers]
armhf	177,9 ko	204,0 ko	[liste des fichiers]
i386	177,9 ko	204,0 ko	[liste des fichiers]
mips64el	177,9 ko	204,0 ko	[liste des fichiers]
ppc64el	177,9 ko	204,0 ko	[liste des fichiers]
riscv64	177,9 ko	204,0 ko	[liste des fichiers]
s390x	177,9 ko	204,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	177,9 ko	204,0 ko	[liste des fichiers]
x32 (portage non officiel)	177,9 ko	204,0 ko	[liste des fichiers]