Paquet : boolector (1.5.118.6b56be4.121013-1.3 et autres)

[ Paquet source : boolector  ]

solveur SMT pour les vecteurs de bits et les tableaux

Boolector est un solveur SMT (« satisfiability modulo theories ») efficace pour la théorie sans quantificateur de tableaux de bits combinée à l’extension de la théorie sans quantificateur de tableaux.

Étiquettes: Mis en œuvre en: C, Rôle: Programme

Autres paquets associés à boolector

• dep: libc6 (>= 2.34)

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

Télécharger boolector

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

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1.5.118.6b56be4.121013-1.3	301,8 ko	786,0 ko	[liste des fichiers]
arm64	1.5.118.6b56be4.121013-1.3	257,9 ko	786,0 ko	[liste des fichiers]
armel	1.5.118.6b56be4.121013-1.3	249,4 ko	721,0 ko	[liste des fichiers]
armhf	1.5.118.6b56be4.121013-1.3	255,6 ko	529,0 ko	[liste des fichiers]
i386	1.5.118.6b56be4.121013-1.3	312,1 ko	889,0 ko	[liste des fichiers]
mips64el	1.5.118.6b56be4.121013-1.3	272,8 ko	878,0 ko	[liste des fichiers]
ppc64el	1.5.118.6b56be4.121013-1.3	310,1 ko	978,0 ko	[liste des fichiers]
riscv64	1.5.118.6b56be4.121013-1.3+b2	301,6 ko	611,0 ko	[liste des fichiers]
s390x	1.5.118.6b56be4.121013-1.3	279,7 ko	890,0 ko	[liste des fichiers]