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) [nie alpha, ia64, sh4]

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

  dep: libc6 (>= 2.36) [sh4]

• dep: libc6.1 (>= 2.33) [alpha]

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

  dep: libc6.1 (>= 2.35) [ia64]

Pobieranie boolector

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	1.5.118.6b56be4.121013-1.3	290,0 KiB	979,0 KiB	[lista plików]
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]
hppa (port nieoficjalny)	1.5.118.6b56be4.121013-1.3	282,6 KiB	803,0 KiB	[lista plików]
i386	1.5.118.6b56be4.121013-1.3	312,1 KiB	889,0 KiB	[lista plików]
ia64 (port nieoficjalny)	1.5.118.6b56be4.121013-1.3	391,7 KiB	1 800,0 KiB	[lista plików]
m68k (port nieoficjalny)	1.5.118.6b56be4.121013-1.3	236,0 KiB	705,0 KiB	[lista plików]
mips64el	1.5.118.6b56be4.121013-1.3	272,8 KiB	878,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.5.118.6b56be4.121013-1.3	301,6 KiB	1 043,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]
sh4 (port nieoficjalny)	1.5.118.6b56be4.121013-1.3	300,1 KiB	593,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	1.5.118.6b56be4.121013-1.3	249,9 KiB	1 044,0 KiB	[lista plików]
x32 (port nieoficjalny)	1.5.118.6b56be4.121013-1.3	294,7 KiB	761,0 KiB	[lista plików]