Chercher dans une suite spécifique : [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]
Chercher dans toutes les suites
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]
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 version(s) aramo, toutes les sections, et toutes les architectures. 1 paquets correspondants trouvés.
Résultats exacts
Paquet picosat
- aramo (science):
SAT solver with proof and core support
965-2: amd64 arm64 armhf ppc64el