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

[ Paquet source : python-pycosat  ]

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

• dep: libc6 (>= 2.17) [arm64, ppc64el]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.4) [non arm64, ppc64el, riscv64]

• 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
amd64	0.6.6+dfsg-2+b2	12,3 ko	53,0 ko	[liste des fichiers]
arm64	0.6.6+dfsg-2+b2	12,3 ko	101,0 ko	[liste des fichiers]
armel	0.6.6+dfsg-2+b2	11,8 ko	100,0 ko	[liste des fichiers]
armhf	0.6.6+dfsg-2+b2	11,8 ko	100,0 ko	[liste des fichiers]
i386	0.6.6+dfsg-2+b2	12,5 ko	48,0 ko	[liste des fichiers]
mips64el	0.6.6+dfsg-2+b2	12,2 ko	102,0 ko	[liste des fichiers]
ppc64el	0.6.6+dfsg-2+b2	12,6 ko	101,0 ko	[liste des fichiers]
riscv64	0.6.6+dfsg-2+b2	12,1 ko	49,0 ko	[liste des fichiers]
s390x	0.6.6+dfsg-2+b2	12,2 ko	49,0 ko	[liste des fichiers]