Pakiet: boolector (1.5.118.6b56be4.121013-1.3 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.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	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.5.118.6b56be4.121013-1.3	301,8 KiB	786,0 KiB	[lista plików]
arm64	1.5.118.6b56be4.121013-1.3	257,9 KiB	786,0 KiB	[lista plików]
armel	1.5.118.6b56be4.121013-1.3	249,4 KiB	721,0 KiB	[lista plików]
armhf	1.5.118.6b56be4.121013-1.3	255,6 KiB	529,0 KiB	[lista plików]
i386	1.5.118.6b56be4.121013-1.3	312,1 KiB	889,0 KiB	[lista plików]
mips64el	1.5.118.6b56be4.121013-1.3	272,8 KiB	878,0 KiB	[lista plików]
ppc64el	1.5.118.6b56be4.121013-1.3	310,1 KiB	978,0 KiB	[lista plików]
riscv64	1.5.118.6b56be4.121013-1.3+b2	301,6 KiB	611,0 KiB	[lista plików]
s390x	1.5.118.6b56be4.121013-1.3	279,7 KiB	890,0 KiB	[lista plików]