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]
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 minisat dans version(s) aramo, toutes les sections, et architecture(s) arm64. 7 paquets correspondants trouvés.
Résultats exacts
Paquet minisat
- aramo (science):
Fast and lightweight SAT solver
1:2.2.1-5build2: arm64
Autres résultats
Paquet cryptominisat
- aramo (math):
SAT solver command line interface
5.8.0+dfsg1-2: arm64
Paquet libcryptominisat5-5.8
- aramo (libs):
SAT solver library
5.8.0+dfsg1-2: arm64
Paquet libcryptominisat5-dev
- aramo (libdevel):
development files for the CryptoMiniSat SAT solver
5.8.0+dfsg1-2: arm64
Paquet minisat+
- aramo (science):
solver for pseudo-Boolean constraints
1.0-4build1: arm64
Paquet minisat2
- aramo (science):
Transitional package for minisat
1:2.2.1-5build2: arm64
également fourni par : minisat
Paquet python3-cryptominisat
- aramo (python):
Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.8.0+dfsg1-2: arm64