Paquet : libz3-java (4.8.12-3.1 et autres)

Liens pour libz3-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.

dep: libz3-dev

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

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

dep: libz3-jni (>= 4.8.12-3.1+b2)

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
arm64	4.8.12-3.1+b2	159,3 ko	186,0 ko	[liste des fichiers]