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

[ Paquet source : z3  ]

justificateur de théorème par Microsoft Research — liaisons pour interpréteur de ligne de commande

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

Autres paquets associés à libz3-cil

• dep: libmono-corlib4.5-cil (>= 5.18.0.240)

  Mono core library (for CLI 4.5)

• dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)

  Mono System.Numerics library (for CLI 4.0)

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

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

Télécharger libz3-cil

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	39,8 ko	206,0 ko	[liste des fichiers]
arm64	39,8 ko	206,0 ko	[liste des fichiers]
armhf	39,8 ko	206,0 ko	[liste des fichiers]
i386	39,8 ko	206,0 ko	[liste des fichiers]