[ Paquet source : boolector ]
Paquet : boolector (1.5.118.6b56be4.121013-1.3)
Liens pour boolector
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source boolector :
- [boolector_1.5.118.6b56be4.121013-1.3.dsc]
- [boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz]
- [boolector_1.5.118.6b56be4.121013.orig.tar.gz]
- [boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz]
Responsable :
Ressources externes :
- Page d'accueil [fmv.jku.at]
Paquets similaires :
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.
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
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| armhf | 255,6 ko | 529,0 ko | [liste des fichiers] |