toutes les options
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : z3  ]

Paquet : libz3-java (4.4.1-1~deb10u1)

Liens pour libz3-java

Screenshot

Ressources Debian :

Télécharger le paquet source z3 :

Responsables :

Ressources externes :

Paquets similaires :

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

Issu de Microsoft Research, Z3 est un justificateur de théorème à la pointe de l’état de l’art. Consultez le paquet z3 pour de plus amples détails.

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

Télécharger libz3-java

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 142,9 ko167,0 ko [liste des fichiers]
arm64 142,9 ko167,0 ko [liste des fichiers]
armhf 142,9 ko167,0 ko [liste des fichiers]
i386 142,9 ko167,0 ko [liste des fichiers]