Pakiet: python3-cryptominisat (5.11.21+dfsg1-2)

Odnośniki dla python3-cryptominisat

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

This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.

dep: libc6 (>= 2.34)

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

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.4) [amd64, riscv64]

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

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

dep: libgcc-s1 (>= 4.2) [i386]
dep: libstdc++6 (>= 13.1)

Standardowa biblioteka GNU C++, wersja 3
dep: python3 (<< 3.14)

Interaktywny, wysokopoziomowy i obiektowy język programowania (domyślna wersja Python 3)

dep: python3 (>= 3.13~)

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	583,2 KiB	1 725,0 KiB	[lista plików]
arm64	535,2 KiB	1 677,0 KiB	[lista plików]
armel	515,8 KiB	1 611,0 KiB	[lista plików]
armhf	529,3 KiB	1 291,0 KiB	[lista plików]
i386	640,1 KiB	1 859,0 KiB	[lista plików]
ppc64el	612,3 KiB	1 997,0 KiB	[lista plików]
riscv64	606,4 KiB	1 444,0 KiB	[lista plików]
s390x	603,0 KiB	1 804,0 KiB	[lista plików]