Paquet : python3-cryptominisat (5.11.21+dfsg1-1 et autres)

Liens pour python3-cryptominisat

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.

dep: libc6 (>= 2.34)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0) [arm64, s390x]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.4) [amd64, mips64el, riscv64]

dep: libgcc-s1 (>= 3.4.4) [ppc64el]

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [i386]
dep: libstdc++6 (>= 13.1)

bibliothèque standard C++ de GNU v3
dep: python3 (<< 3.13)

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

dep: python3 (>= 3.12~)

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	5.11.21+dfsg1-1+b1	514,8 ko	1 514,0 ko	[liste des fichiers]
arm64	5.11.21+dfsg1-1+b1	479,0 ko	1 485,0 ko	[liste des fichiers]
armel	5.11.21+dfsg1-1+b1	460,1 ko	1 404,0 ko	[liste des fichiers]
armhf	5.11.21+dfsg1-1+b1	470,1 ko	1 104,0 ko	[liste des fichiers]
i386	5.11.21+dfsg1-1+b1	570,9 ko	1 644,0 ko	[liste des fichiers]
mips64el	5.11.21+dfsg1-1+b1	487,3 ko	1 753,0 ko	[liste des fichiers]
ppc64el	5.11.21+dfsg1-1+b1	549,5 ko	1 806,0 ko	[liste des fichiers]
riscv64	5.11.21+dfsg1-1+b1	543,3 ko	1 289,0 ko	[liste des fichiers]
s390x	5.11.21+dfsg1-1+b1	548,0 ko	1 661,0 ko	[liste des fichiers]