Pakiet: python3-cryptominisat (5.11.21+dfsg1-1 i inne)

[ Pakiet źródłowy: cryptominisat  ]

Python bindings for the CryptoMiniSat SAT solver (Python 3)

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.

Inne pakiety związane z python3-cryptominisat

• 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.37) [sh4]

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

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

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

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

  Biblioteka wspomagająca GCC

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

  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]

  Biblioteka wspomagająca GCC

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

  Biblioteka wspomagająca GCC

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

  Standardowa biblioteka GNU C++, wersja 3

• dep: libunwind8 [ia64]

  Biblioteka do ustalania łańcucha wywołań programu - środowisko uruchomieniowe

• dep: python3 (<< 3.12) [ia64]

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

  dep: python3 (<< 3.13) [nie ia64]

  dep: python3 (>= 3.11~) [ia64]

  dep: python3 (>= 3.12~) [nie ia64]

Pobieranie python3-cryptominisat

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	5.11.21+dfsg1-1	506,2 KiB	1 742,0 KiB	[lista plików]
amd64	5.11.21+dfsg1-1+b2	576,6 KiB	1 698,0 KiB	[lista plików]
arm64	5.11.21+dfsg1-1+b2	529,3 KiB	1 614,0 KiB	[lista plików]
armel	5.11.21+dfsg1-1+b2	511,2 KiB	1 556,0 KiB	[lista plików]
armhf	5.11.21+dfsg1-1+b2	524,4 KiB	1 228,0 KiB	[lista plików]
hppa (port nieoficjalny)	5.11.21+dfsg1-1+b2	615,3 KiB	1 918,0 KiB	[lista plików]
i386	5.11.21+dfsg1-1+b2	631,6 KiB	1 824,0 KiB	[lista plików]
ia64 (port nieoficjalny)	5.11.15+dfsg1-1.1	662,1 KiB	2 872,0 KiB	[lista plików]
m68k (port nieoficjalny)	5.11.21+dfsg1-1+b2	551,4 KiB	1 692,0 KiB	[lista plików]
mips64el	5.11.21+dfsg1-1+b2	531,7 KiB	1 882,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	5.11.21+dfsg1-1+b2	601,6 KiB	2 126,0 KiB	[lista plików]
ppc64el	5.11.21+dfsg1-1+b2	602,9 KiB	1 998,0 KiB	[lista plików]
riscv64	5.11.21+dfsg1-1+b2	597,8 KiB	1 417,0 KiB	[lista plików]
s390x	5.11.21+dfsg1-1+b2	598,9 KiB	1 789,0 KiB	[lista plików]
sh4 (port nieoficjalny)	5.11.21+dfsg1-1+b1	606,4 KiB	1 485,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	5.11.21+dfsg1-1+b2	507,7 KiB	2 322,0 KiB	[lista plików]
x32 (port nieoficjalny)	5.11.21+dfsg1-1+b2	580,2 KiB	1 656,0 KiB	[lista plików]