Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Limit to a 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]
Zoek in alle platforms
Some results have not been displayed due to the search parameters.
You have searched for pakketten that names contain cryptominisat in alle suites, alle secties, and platform(s) mipsel. Found 5 matching packages.
Exacte resultaten
Pakket cryptominisat
- bullseye (oldstable) (math):
SAT solver command line interface
5.8.0+dfsg1-1+b3: mipsel - bookworm (stable) (math):
SAT solver command line interface
5.11.4+dfsg1-2+b1: mipsel
Overige resultaten
Pakket libcryptominisat5-5.11
- bookworm (stable) (libs):
SAT solver library
5.11.4+dfsg1-2+b1: mipsel
Pakket libcryptominisat5-5.8
- bullseye (oldstable) (libs):
SAT solver library
5.8.0+dfsg1-1+b3: mipsel
Pakket libcryptominisat5-dev
- bullseye (oldstable) (libdevel):
development files for the CryptoMiniSat SAT solver
5.8.0+dfsg1-1+b3: mipsel - bookworm (stable) (libdevel):
development files for the CryptoMiniSat SAT solver
5.11.4+dfsg1-2+b1: mipsel
Pakket python3-cryptominisat
- bullseye (oldstable) (python):
Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.8.0+dfsg1-1+b3: mipsel - bookworm (stable) (python):
Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.11.4+dfsg1-2+b1: mipsel