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) amd64. 9 paquets correspondants trouvés.
Résultats exacts
Paquet minisat
- buster (oldoldstable) (science):
solveur SAT rapide et léger
1:2.2.1-5+b3: amd64 - bullseye (oldstable) (science):
solveur SAT rapide et léger
1:2.2.1-5+b3: amd64 - bookworm (stable) (science):
solveur SAT rapide et léger
1:2.2.1-5+b3: amd64 - trixie (testing) (science):
solveur SAT rapide et léger
1:2.2.1-8: amd64 - sid (unstable) (science):
solveur SAT rapide et léger
1:2.2.1-8: amd64
Autres résultats
Paquet cryptominisat
- bullseye (oldstable) (math):
SAT solver command line interface
5.8.0+dfsg1-1+b3: amd64 - bookworm (stable) (math):
SAT solver command line interface
5.11.4+dfsg1-2+b1: amd64 - trixie (testing) (math):
SAT solver command line interface
5.11.21+dfsg1-1+b1: amd64 - sid (unstable) (math):
SAT solver command line interface
5.11.21+dfsg1-1+b1: amd64
Paquet libcryptominisat5-5.11
- bookworm (stable) (libs):
SAT solver library
5.11.4+dfsg1-2+b1: amd64
Paquet libcryptominisat5-5.11t64
- trixie (testing) (libs):
SAT solver library
5.11.21+dfsg1-1+b1: amd64 - sid (unstable) (libs):
SAT solver library
5.11.21+dfsg1-1+b1: amd64
Paquet libcryptominisat5-5.8
- bullseye (oldstable) (libs):
SAT solver library
5.8.0+dfsg1-1+b3: amd64
Paquet libcryptominisat5-dev
- bullseye (oldstable) (libdevel):
development files for the CryptoMiniSat SAT solver
5.8.0+dfsg1-1+b3: amd64 - bookworm (stable) (libdevel):
development files for the CryptoMiniSat SAT solver
5.11.4+dfsg1-2+b1: amd64 - trixie (testing) (libdevel):
development files for the CryptoMiniSat SAT solver
5.11.21+dfsg1-1+b1: amd64 - sid (unstable) (libdevel):
development files for the CryptoMiniSat SAT solver
5.11.21+dfsg1-1+b1: amd64
Paquet minisat+
- buster (oldoldstable) (science):
solveur de contraintes pseudo booléennes
1.0-4: amd64 - bullseye (oldstable) (science):
solveur de contraintes pseudo booléennes
1.0-4: amd64 - bookworm (stable) (science):
solveur de contraintes pseudo booléennes
1.0-4: amd64 - trixie (testing) (science):
solveur de contraintes pseudo booléennes
1.0-4: amd64 - sid (unstable) (science):
solveur de contraintes pseudo booléennes
1.0-4: amd64
Paquet minisat2
- buster (oldoldstable) (science):
paquet de transition pour minisat
1:2.2.1-5+b3: amd64
également fourni par : minisat - bullseye (oldstable) (science):
paquet de transition pour minisat
1:2.2.1-5+b3: amd64
également fourni par : minisat - bookworm (stable) (science):
paquet de transition pour minisat
1:2.2.1-5+b3: amd64
également fourni par : minisat - trixie (testing):
Paquet virtuel
fourni par : minisat - sid (unstable):
Paquet virtuel
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 - bookworm (stable) (python):
Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.11.4+dfsg1-2+b1: amd64 - trixie (testing) (python):
Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.11.21+dfsg1-1+b1: amd64 - sid (unstable) (python):
Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.11.21+dfsg1-1+b1: amd64