Ubuntu – Package Search Results -- cryptominisat

Search in specific suite: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [plucky] [plucky-updates] [plucky-backports] [questing] [questing-updates] [questing-backports] [resolute]

Limit search to a specific architecture: [i386] [amd64] [powerpc] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

Exact hits

Package cryptominisat

jammy (22.04LTS) (math): SAT solver command line interface [universe]
5.8.0+dfsg1-2: amd64 arm64 armhf ppc64el riscv64 s390x

noble (24.04LTS) (math): SAT solver command line interface [universe]
5.11.15+dfsg1-1.1build1: amd64 arm64 armhf ppc64el riscv64 s390x

plucky (25.04) (math): SAT solver command line interface [universe]
5.11.21+dfsg1-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

questing (25.10) (math): SAT solver command line interface [universe]
5.11.21+dfsg1-2: amd64 arm64 armhf ppc64el riscv64 s390x

resolute (math): SAT solver command line interface [universe]
5.11.21+dfsg1-3build1: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package libcryptominisat5-5.11t64

noble (24.04LTS) (libs): SAT solver library [universe]
5.11.15+dfsg1-1.1build1: amd64 arm64 armhf ppc64el riscv64 s390x

plucky (25.04) (libs): SAT solver library [universe]
5.11.21+dfsg1-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

questing (25.10) (libs): SAT solver library [universe]
5.11.21+dfsg1-2: amd64 arm64 armhf ppc64el riscv64 s390x

resolute (libs): SAT solver library [universe]
5.11.21+dfsg1-3build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libcryptominisat5-5.8

jammy (22.04LTS) (libs): SAT solver library [universe]
5.8.0+dfsg1-2: amd64 arm64 armhf ppc64el riscv64 s390x

Package libcryptominisat5-dev

jammy (22.04LTS) (libdevel): development files for the CryptoMiniSat SAT solver [universe]
5.8.0+dfsg1-2: amd64 arm64 armhf ppc64el riscv64 s390x

noble (24.04LTS) (libdevel): development files for the CryptoMiniSat SAT solver [universe]
5.11.15+dfsg1-1.1build1: amd64 arm64 armhf ppc64el riscv64 s390x

plucky (25.04) (libdevel): development files for the CryptoMiniSat SAT solver [universe]
5.11.21+dfsg1-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

questing (25.10) (libdevel): development files for the CryptoMiniSat SAT solver [universe]
5.11.21+dfsg1-2: amd64 arm64 armhf ppc64el riscv64 s390x

resolute (libdevel): development files for the CryptoMiniSat SAT solver [universe]
5.11.21+dfsg1-3build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package python3-cryptominisat

jammy (22.04LTS) (python): Python bindings for the CryptoMiniSat SAT solver (Python 3) [universe]
5.8.0+dfsg1-2: amd64 arm64 armhf ppc64el riscv64 s390x

noble (24.04LTS) (python): Python bindings for the CryptoMiniSat SAT solver (Python 3) [universe]
5.11.15+dfsg1-1.1build1: amd64 arm64 armhf ppc64el riscv64 s390x

plucky (25.04) (python): Python bindings for the CryptoMiniSat SAT solver (Python 3) [universe]
5.11.21+dfsg1-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

questing (25.10) (python): Python bindings for the CryptoMiniSat SAT solver (Python 3) [universe]
5.11.21+dfsg1-2: amd64 arm64 armhf ppc64el riscv64 s390x

resolute (python): Python bindings for the CryptoMiniSat SAT solver (Python 3) [universe]
5.11.21+dfsg1-3build1: amd64 arm64 armhf ppc64el riscv64 s390x