Paquet : libz3-ocaml-dev (4.4.1-1~deb10u1)

[ Paquet source : z3  ]

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

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 OCaml.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Autres paquets associés à libz3-ocaml-dev

• dep: libc6 (>= 2.4)

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

• dep: libz3-4

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

• dep: libz3-dev (= 4.4.1-1~deb10u1)

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

• dep: ocaml-nox-4.05.0

  paquet virtuel fourni par ocaml-nox

• rec: ocaml-findlib

  management tool for OCaml libraries

Télécharger libz3-ocaml-dev

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
i386	486,2 ko	4 534,0 ko	[liste des fichiers]