Paquet : libz3-java (4.13.3-1 et autres) [debports]

[ Paquet source :  ]

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

• dep: libz3-dev (= 4.13.3-1+b1)

  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+b1)

Télécharger libz3-java

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.13.3-1+b1	177,9 ko	204,0 ko	[liste des fichiers]