| Paketname | boolector |
| Beschreibung | SMT solver for bit-vectors and arrays |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 1.4.ffc2089.100608-1 |
| Sektion | science |
| Priorität | extra |
| Installierte Größe | 328 Byte |
| Hängt ab von | libc6 (>= 2.3), picosat |
| Empfohlene Pakete | |
| Paketbetreuer | Michael Tautschnig |
| Quelle | |
| Paketgröße | 125326 Byte |
| Prüfsumme MD5 | 6ec90b207534ef67e5761ddbccd5cb9e |
| Prüfsumme SHA1 | 8a4fa0da0a22f30b03432681be8c2a59f4abd367 |
| Prüfsumme SHA256 | d62fff20c3a1c0f7cf1fd1e9e6ac4e4986e191d152d9e144785061a8d72fcac2 |
| Link zum Herunterladen | boolector_1.4.ffc2089.100608-1_i386.deb |
| Ausführliche Beschreibung | Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
arrays.
|