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
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) alpha. 12 paquets correspondants trouvés.
Résultats exacts
Paquet minisat
- sid (unstable) (science):
solveur SAT rapide et léger
1:2.2.1-8 [debports]: alpha
Autres résultats
Paquet cryptominisat
- sid (unstable) (math):
SAT solver command line interface
5.11.15+dfsg1-1.1 [debports]: alpha
Paquet cryptominisat-dbgsym
- sid (unstable) (debug):
debug symbols for cryptominisat
5.11.15+dfsg1-1.1 [debports]: alpha
Paquet libcryptominisat5-5.11t64
- sid (unstable) (libs):
SAT solver library
5.11.15+dfsg1-1.1 [debports]: alpha
Paquet libcryptominisat5-5.11t64-dbgsym
- sid (unstable) (debug):
debug symbols for libcryptominisat5-5.11t64
5.11.15+dfsg1-1.1 [debports]: alpha
Paquet libcryptominisat5-dev
- sid (unstable) (libdevel):
development files for the CryptoMiniSat SAT solver
5.11.15+dfsg1-1.1 [debports]: alpha
Paquet minisat+
- sid (unstable) (science):
solveur de contraintes pseudo booléennes
1.0-4 [debports]: alpha
Paquet minisat+-dbgsym
- sid (unstable) (debug):
Debug symbols for minisat+
1.0-4 [debports]: alpha
Paquet minisat-dbgsym
- sid (unstable) (debug):
debug symbols for minisat
1:2.2.1-8 [debports]: alpha
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.15+dfsg1-1.1 [debports]: alpha
Paquet python3-cryptominisat-dbgsym
- sid (unstable) (debug):
debug symbols for python3-cryptominisat
5.11.15+dfsg1-1.1 [debports]: alpha