Paketti: libcryptominisat5-5.11t64 (5.11.21+dfsg1-2 ja muut)

[ Source: cryptominisat  ]

SAT solver library

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a shared library to link against the CryptoMiniSat library.

Muut pakettiin libcryptominisat5-5.11t64 liittyvät paketit

• dep: libc6 (>= 2.34) [ei alpha, ia64, loong64, sh4]

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

  dep: libc6 (>= 2.41) [loong64, sh4]

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

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6.1-udeb

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

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, s390x, x32]

  GCC:n apukirjasto

  dep: libgcc-s1 (>= 3.4) [alpha, mips64el, riscv64, sparc64]

  dep: libgcc-s1 (>= 3.4.4) [ppc64, ppc64el]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [i386, ia64, sh4]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC:n apukirjasto

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC:n apukirjasto

• dep: libstdc++6 (>= 13.1)

  GNU standardi C++ -kirjasto, versio 3

• dep: libunwind8 [ia64]

  library to determine the call-chain of a program - runtime

Imuroi libcryptominisat5-5.11t64

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	5.11.21+dfsg1-2	491.4 kt	1,562.0 kt	[tiedostoluettelo]
amd64	5.11.21+dfsg1-2	509.2 kt	1,368.0 kt	[tiedostoluettelo]
arm64	5.11.21+dfsg1-2	460.6 kt	1,304.0 kt	[tiedostoluettelo]
armel	5.11.21+dfsg1-2	443.0 kt	1,303.0 kt	[tiedostoluettelo]
armhf	5.11.21+dfsg1-2	462.5 kt	983.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	5.11.21+dfsg1-2	542.0 kt	1,634.0 kt	[tiedostoluettelo]
i386	5.11.21+dfsg1-2	536.1 kt	1,415.0 kt	[tiedostoluettelo]
ia64 (epävirallinen siirros)	5.11.15+dfsg1-1.1	651.8 kt	2,821.0 kt	[tiedostoluettelo]
loong64 (epävirallinen siirros)	5.11.21+dfsg1-2	498.7 kt	1,431.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	5.11.21+dfsg1-2	447.9 kt	1,263.0 kt	[tiedostoluettelo]
mips64el	5.11.21+dfsg1-2	473.4 kt	1,636.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	5.11.21+dfsg1-2	544.6 kt	1,880.0 kt	[tiedostoluettelo]
ppc64el	5.11.21+dfsg1-2	543.3 kt	1,688.0 kt	[tiedostoluettelo]
riscv64	5.11.21+dfsg1-2	534.3 kt	1,143.0 kt	[tiedostoluettelo]
s390x	5.11.21+dfsg1-2	534.1 kt	1,495.0 kt	[tiedostoluettelo]
sh4 (epävirallinen siirros)	5.11.21+dfsg1-2	611.9 kt	1,304.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	5.11.21+dfsg1-2	435.9 kt	2,079.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	5.11.21+dfsg1-2	513.1 kt	1,359.0 kt	[tiedostoluettelo]