Pakiet: boolector (1.5.118.6b56be4.121013-1 i inne)

[ Pakiet źródłowy: boolector  ]

SMT solver dla wektorów bitowych i tablic

Boolector jest wydajnym solverem SMT dla teorii wektorów bitowych bez kwantyfikatora, w połączeniu z bezstratną, rozszerzającą się teorią macierzy.

Znaczniki: Zaimplementowane w: C, Rola: Program

Inne pakiety związane z boolector

• dep: libc6 (>= 2.14) [amd64]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.3) [i386]

  dep: libc6 (>= 2.4) [armhf]

Pobieranie boolector

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.5.118.6b56be4.121013-1+b1	296,8 KiB	783,0 KiB	[lista plików]
arm64	1.5.118.6b56be4.121013-1+b1	240,8 KiB	695,0 KiB	[lista plików]
armhf	1.5.118.6b56be4.121013-1+b1	253,0 KiB	510,0 KiB	[lista plików]
i386	1.5.118.6b56be4.121013-1+b1	308,1 KiB	878,0 KiB	[lista plików]