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.16) [x32]

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

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

  dep: libc6 (>= 2.2) [hppa]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.4) [non alpha, arm64, hppa, ia64, ppc64el, riscv64, sh4, x32]

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.1.3) [alpha]

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

  dep: libc6.1 (>= 2.37) [ia64]

• dep: picosat (>= 953)

  solveur SAT avec gestion de démonstrations et « core »

• dep: python3 (<< 3.13) [ia64]

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

  dep: python3 (<< 3.14) [non ia64]

  dep: python3 (>= 3.11~) [ia64]

  dep: python3 (>= 3.12~) [non ia64]

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
alpha (portage non officiel)	0.6.6+dfsg-2+b1	12,3 ko	168,0 ko	[liste des fichiers]
amd64	0.6.6+dfsg-2+b1	12,3 ko	72,0 ko	[liste des fichiers]
arm64	0.6.6+dfsg-2+b1	12,3 ko	168,0 ko	[liste des fichiers]
armel	0.6.6+dfsg-2+b1	11,7 ko	54,0 ko	[liste des fichiers]
armhf	0.6.6+dfsg-2+b1	11,7 ko	54,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.6.6+dfsg-2+b1	12,5 ko	64,0 ko	[liste des fichiers]
i386	0.6.6+dfsg-2+b1	12,5 ko	62,0 ko	[liste des fichiers]
ia64 (portage non officiel)	0.6.6+dfsg-1+b1	13,7 ko	68,0 ko	[liste des fichiers]
m68k (portage non officiel)	0.6.6+dfsg-2+b1	11,8 ko	54,0 ko	[liste des fichiers]
mips64el	0.6.6+dfsg-2+b1	12,2 ko	170,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.6.6+dfsg-2+b1	12,8 ko	168,0 ko	[liste des fichiers]
ppc64el	0.6.6+dfsg-2+b1	12,6 ko	168,0 ko	[liste des fichiers]
riscv64	0.6.6+dfsg-2+b1	12,0 ko	64,0 ko	[liste des fichiers]
s390x	0.6.6+dfsg-2+b1	12,3 ko	64,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.6.6+dfsg-2+b1	12,2 ko	166,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.6.6+dfsg-2+b1	12,2 ko	2 090,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.6.6+dfsg-2+b1	12,3 ko	62,0 ko	[liste des fichiers]