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