all options

Limit to suite: [stretch] [stretch-updates] [stretch-backports] [stretch-backports-sloppy] [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [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]

You have searched for packages that names contain minisat in all suites, all sections, and all architectures. Found 12 matching packages.

Exact hits

Package minisat

Other hits

Package cryptominisat

Package cryptominisat-dbgsym

Package libcryptominisat5-5.8

Package libcryptominisat5-5.8-dbgsym

Package libcryptominisat5-dev

Package minisat+

Package minisat+-dbgsym

Package minisat-dbgsym

Package minisat2

Package python3-cryptominisat

Package python3-cryptominisat-dbgsym