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