Paquet : python3-pycosat (0.6.6+dfsg-2 et autres) [debports]

Liens pour python3-pycosat

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

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.

Autres paquets associés à python3-pycosat

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.16)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: picosat (>= 953)

solveur SAT avec gestion de démonstrations et « core »
dep: python3 (<< 3.14)

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

dep: python3 (>= 3.12~)

Télécharger python3-pycosat

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
x32 (portage non officiel)	0.6.6+dfsg-2+b1	12,3 ko	62,0 ko	[liste des fichiers]