Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Limiter à l'architecture : [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Chercher dans toutes les architectures
Certains résultats n'ont pas été affichés en raison des paramètres de recherche.
Vous avez recherché des paquets dont les noms contiennent picosat dans toutes les suites, toutes les sections, et architecture(s) ppc64el. 1 paquets correspondants trouvés.
Résultats exacts
Paquet picosat
- bullseye (oldstable) (science):
solveur SAT avec gestion de démonstrations et « core »
965-2: ppc64el - bookworm (stable) (science):
solveur SAT avec gestion de démonstrations et « core »
965-2: ppc64el - trixie (testing) (science):
solveur SAT avec gestion de démonstrations et « core »
965-2: ppc64el - sid (unstable) (science):
solveur SAT avec gestion de démonstrations et « core »
965-2: ppc64el