Pakket: python3-pycosat (0.6.6+dfsg-2 en anderen) [debports]

Verwijzigingen voor python3-pycosat

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

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.

Andere aan python3-pycosat gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6.1 (>= 2.1.3)

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6.1-udeb
dep: picosat (>= 953)

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

interactive high-level object-oriented language (default python3 version)

dep: python3 (>= 3.13~)

python3-pycosat downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	0.6.6+dfsg-2+b3	13,0 kB	168,0 kB	[overzicht]