Paket: boolector (1.5.118.6b56be4.121013-1.3) [debports]
Links für boolector
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Externe Ressourcen:
- Homepage [fmv.jku.at]
Ähnliche Pakete:
SMT-Solver für Bit-Vektoren und Arrays
Boolector ist ein effizienter SMT-Löser für die quantifiziererfreie Theorie von Bitvektoren in Kombination mit der quantifiziererfreien Extensionstheorie von Arrays.
Andere Pakete mit Bezug zu boolector
|
|
|
|
-
- dep: libc6.1 (>= 2.35)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb
boolector herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| ia64 (inoffizielle Portierung) | 391,7 kB | 1.800,0 kB | [Liste der Dateien] |