Paket: boolector (1.5.118.6b56be4.121013-1.3) [debports]

[ Quellcode:  ]

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 (>= 2.34)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

boolector herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
ppc64 (inoffizielle Portierung)	301,6 kB	1.043,0 kB	[Liste der Dateien]