[ bookworm ] [ sid ]

[ Pakiet źródłowy: cryptominisat ]

Pakiet: libcryptominisat5-5.11 (5.11.4+dfsg1-2 i inne)

Odnośniki dla libcryptominisat5-5.11

Zasoby systemu Debian:

Pobieranie pakietu źródłowego cryptominisat:

Opiekunowie:

Debian Science Team (Strona QA, Archiwum e-mail)
Julian Rüth (Strona QA)
Julien Puydt (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [www.msoos.org]

Podobne pakiety:

SAT solver library

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

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

Znaczniki: Rola: Biblioteka współdzielona

Inne pakiety związane z libcryptominisat5-5.11

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.34)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.0) [amd64, s390x]

Biblioteka wspomagająca GCC

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

dep: libgcc-s1 (>= 4.2) [nie amd64, armel, armhf, s390x]
dep: libstdc++6 (>= 11)

Standardowa biblioteka GNU C++, wersja 3

Pobieranie libcryptominisat5-5.11

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	5.11.4+dfsg1-2+b1	490,3 KiB	1 290,0 KiB	[lista plików]
arm64	5.11.4+dfsg1-2+b1	440,4 KiB	1 237,0 KiB	[lista plików]
armel	5.11.4+dfsg1-2+b1	432,1 KiB	1 237,0 KiB	[lista plików]
armhf	5.11.4+dfsg1-2+b1	450,2 KiB	917,0 KiB	[lista plików]
i386	5.11.4+dfsg1-2+b1	515,8 KiB	1 341,0 KiB	[lista plików]
mips64el	5.11.4+dfsg1-2+b1	462,9 KiB	1 637,0 KiB	[lista plików]
mipsel	5.11.4+dfsg1-2+b1	477,0 KiB	1 617,0 KiB	[lista plików]
ppc64el	5.11.4+dfsg1-2+b1	529,9 KiB	1 686,0 KiB	[lista plików]
s390x	5.11.4+dfsg1-2+b1	448,8 KiB	1 385,0 KiB	[lista plików]