Paket: python3-pycosat (0.6.6+dfsg-2 und andere) [debports]

Links für python3-pycosat

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Externe Ressourcen:

Homepage [github.com]

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 Pakete mit Bezug zu python3-pycosat

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.4)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: picosat (>= 953)

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

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

dep: python3 (>= 3.13~)

python3-pycosat herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
m68k (inoffizielle Portierung)	0.6.6+dfsg-2+b2	11,8 kB	44,0 kB	[Liste der Dateien]