Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Chercher dans toutes les suites
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]
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) bullseye, toutes les sections, et toutes les architectures. 7 paquets correspondants trouvés.
Résultats exacts
Paquet minisat
- bullseye (oldstable) (science):
solveur SAT rapide et léger
1:2.2.1-5+b3: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
Autres résultats
Paquet cryptominisat
- bullseye (oldstable) (math):
SAT solver command line interface
5.8.0+dfsg1-1+b3: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
Paquet libcryptominisat5-5.8
- bullseye (oldstable) (libs):
SAT solver library
5.8.0+dfsg1-1+b3: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
Paquet libcryptominisat5-dev
- bullseye (oldstable) (libdevel):
development files for the CryptoMiniSat SAT solver
5.8.0+dfsg1-1+b3: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
Paquet minisat+
- bullseye (oldstable) (science):
solveur de contraintes pseudo booléennes
1.0-4: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
Paquet minisat2
- bullseye (oldstable) (science):
paquet de transition pour minisat
1:2.2.1-5+b3: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
également fourni par : minisat
Paquet python3-cryptominisat
- bullseye (oldstable) (python):
Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.8.0+dfsg1-1+b3: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x