Pakiet: python3-pycosat (0.6.6+dfsg-2 i inne)

[ Pakiet źródłowy: python-pycosat  ]

Python bindings to picosat

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.

Inne pakiety związane z python3-pycosat

• dep: libc6 (>= 2.17) [arm64, ppc64el]

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

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.4) [nie arm64, ppc64el, riscv64]

• dep: picosat (>= 953)

  SAT solver with proof and core support

• dep: python3 (<< 3.14)

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

  dep: python3 (>= 3.13~)

Pobieranie python3-pycosat

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	0.6.6+dfsg-2+b2	12,3 KiB	53,0 KiB	[lista plików]
arm64	0.6.6+dfsg-2+b2	12,3 KiB	101,0 KiB	[lista plików]
armel	0.6.6+dfsg-2+b2	11,8 KiB	100,0 KiB	[lista plików]
armhf	0.6.6+dfsg-2+b2	11,8 KiB	100,0 KiB	[lista plików]
i386	0.6.6+dfsg-2+b2	12,5 KiB	48,0 KiB	[lista plików]
mips64el	0.6.6+dfsg-2+b2	12,2 KiB	102,0 KiB	[lista plików]
ppc64el	0.6.6+dfsg-2+b2	12,6 KiB	101,0 KiB	[lista plików]
riscv64	0.6.6+dfsg-2+b2	12,1 KiB	49,0 KiB	[lista plików]
s390x	0.6.6+dfsg-2+b2	12,2 KiB	49,0 KiB	[lista plików]