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.4)

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)

langage orienté objet interactif de haut niveau – version par défaut de Python 3

dep: python3 (>= 3.13~)

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
m68k (portage non officiel)	0.6.6+dfsg-2+b2	11,8 ko	44,0 ko	[liste des fichiers]