Paquet : libz3-jni (4.8.12-3.1 et autres) [debports]

[ Paquet source :  ]

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

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 fournit les bibliothèques JNI pour invoquer Z3 à travers son API Java.

Autres paquets associés à libz3-jni

• dep: libc6 (>= 2.4)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  bibliothèque de prise en charge de GCC

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

  bibliothèque standard C++ de GNU v3

• dep: libz3-4 (>= 4.8.12)

  justificateur de théorème par Microsoft Research —⋅bibliothèques d'exécution

• dep: libz3-dev (= 4.8.12-3.1+b2)

  justificateur de théorème par Microsoft Research — fichiers de développement

Télécharger libz3-jni

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
sparc64 (portage non officiel)	4.8.12-3.1+b2	31,8 ko	1 058,0 ko	[liste des fichiers]