Pakiet: boolector (1.5.118.6b56be4.121013-1.3)

[ 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.34)

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

Pobieranie boolector

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	301,8 KiB	786,0 KiB	[lista plików]
arm64	257,9 KiB	786,0 KiB	[lista plików]
armel	249,4 KiB	721,0 KiB	[lista plików]
armhf	255,6 KiB	529,0 KiB	[lista plików]
i386	312,1 KiB	889,0 KiB	[lista plików]
mips64el	272,8 KiB	878,0 KiB	[lista plików]
mipsel	284,1 KiB	894,0 KiB	[lista plików]
ppc64el	310,1 KiB	978,0 KiB	[lista plików]
s390x	279,7 KiB	890,0 KiB	[lista plików]