Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
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]
Chercher dans toutes les architectures
Vous avez recherché des paquets dont les noms contiennent minisat dans toutes les suites, toutes les sections, et architecture(s) sh4. 11 paquets correspondants trouvés.
Résultats exacts
Paquet minisat
- sid (unstable) (science):
solveur SAT rapide et léger
1:2.2.1-8 [debports]: sh4
Autres résultats
Paquet cryptominisat
- sid (unstable) (math):
SAT solver command line interface
5.11.21+dfsg1-1 [debports]: sh4
Paquet cryptominisat-dbgsym
- sid (unstable) (debug):
debug symbols for cryptominisat
5.11.21+dfsg1-1 [debports]: sh4
Paquet libcryptominisat5-5.11t64
- sid (unstable) (libs):
SAT solver library
5.11.21+dfsg1-1 [debports]: sh4
Paquet libcryptominisat5-5.11t64-dbgsym
- sid (unstable) (debug):
debug symbols for libcryptominisat5-5.11t64
5.11.21+dfsg1-1 [debports]: sh4
Paquet libcryptominisat5-dev
- sid (unstable) (libdevel):
development files for the CryptoMiniSat SAT solver
5.11.21+dfsg1-1 [debports]: sh4
Paquet minisat+
- sid (unstable) (science):
solveur de contraintes pseudo booléennes
1.0-4 [debports]: sh4
Paquet minisat-dbgsym
- sid (unstable) (debug):
debug symbols for minisat
1:2.2.1-8 [debports]: sh4
Paquet minisat2
- buster (oldoldstable):
Paquet virtuel
fourni par : minisat - bullseye (oldstable):
Paquet virtuel
fourni par : minisat - bookworm (stable):
Paquet virtuel
fourni par : minisat - trixie (testing):
Paquet virtuel
fourni par : minisat - sid (unstable):
Paquet virtuel
fourni par : minisat
Paquet python3-cryptominisat
- sid (unstable) (python):
Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.11.21+dfsg1-1 [debports]: sh4
Paquet python3-cryptominisat-dbgsym
- sid (unstable) (debug):
debug symbols for python3-cryptominisat
5.11.21+dfsg1-1 [debports]: sh4