Pakiet: python3-pycosat (0.6.6+dfsg-1) [debports]

Odnośniki dla python3-pycosat

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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

wymaga

poleca

sugeruje

enhances

dep: libc6.1 (>= 2.1.3)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
dep: picosat (>= 953)

SAT solver with proof and core support
dep: python3 (<< 3.13)

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

dep: python3 (>= 3.11~)

Pobieranie python3-pycosat

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	12,8 KiB	167,0 KiB	[lista plików]