Şu takıma sınırla: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Mimariye sınırla: [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]
Tüm mimarilerde ara
Bazı sonuçlar arama parametrelerinden dolayı görüntülenemedi.
tüm takımlar takımının tüm bölümler bölümlerinde ve mimari(ler) ppc64 mimarilerinde, minisat sözünü barındıran paketler aradınız 12 eşleşen paket bulundu.
Tam eşleşmeler
minisat Paketi
- sid (unstable) (science):
Fast and lightweight SAT solver
1:2.2.1-8 [debports]: ppc64
Diğer eşleşmeler
cryptominisat Paketi
- sid (unstable) (math):
SAT solver command line interface
5.11.21+dfsg1-1+b1 [debports]: ppc64
cryptominisat-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for cryptominisat
5.11.21+dfsg1-1+b1 [debports]: ppc64
libcryptominisat5-5.11t64 Paketi
- sid (unstable) (libs):
SAT solver library
5.11.21+dfsg1-1+b1 [debports]: ppc64
libcryptominisat5-5.11t64-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcryptominisat5-5.11t64
5.11.21+dfsg1-1+b1 [debports]: ppc64
libcryptominisat5-dev Paketi
- sid (unstable) (libdevel):
development files for the CryptoMiniSat SAT solver
5.11.21+dfsg1-1+b1 [debports]: ppc64
minisat+ Paketi
- sid (unstable) (science):
solver for pseudo-Boolean constraints
1.0-4 [debports]: ppc64
minisat+-dbgsym Paketi
- sid (unstable) (debug):
Debug symbols for minisat+
1.0-4 [debports]: ppc64
minisat-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for minisat
1:2.2.1-8 [debports]: ppc64
minisat2 Paketi
- buster (oldoldstable):
Sanal paket
sağlayan: minisat - bullseye (oldstable):
Sanal paket
sağlayan: minisat - bookworm (stable):
Sanal paket
sağlayan: minisat - trixie (testing):
Sanal paket
sağlayan: minisat - sid (unstable):
Sanal paket
sağlayan: minisat
python3-cryptominisat Paketi
- sid (unstable) (python):
Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.11.21+dfsg1-1+b1 [debports]: ppc64
python3-cryptominisat-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for python3-cryptominisat
5.11.21+dfsg1-1+b1 [debports]: ppc64