| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch
extra |
cryptominisat |
5.11.14 |
- |
- |
Arch Linux 32 i486
extra |
cryptominisat5 |
5.8.0 |
- |
- |
Arch Linux 32 i686
extra |
cryptominisat5 |
5.11.4 |
- |
- |
Arch Linux 32 pentium4
extra |
cryptominisat5 |
5.11.4 |
- |
- |
Arch Linux ARM aarch64
extra |
cryptominisat5 |
5.11.12 |
- |
- |
Arch Linux ARM aarch64
community |
cryptominisat5 |
5.11.4 |
- |
- |
Arch Linux ARM aarch64
extra |
cryptominisat |
2.9.11 |
- |
- |
Arch Linux ARM aarch64
community |
cryptominisat |
2.9.11 |
- |
- |
|
AUR |
cryptominisat5-git |
5.6.8.r171.gc1b9ed65 |
- |
keenerd@aur |
|
AUR |
cryptominisat4 |
4.5.3 |
- |
keenerd@aur |
Debian 11
bullseye/main |
cryptominisat |
5.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Debian 12
bookworm/main |
cryptominisat |
5.11.4 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Debian 13
trixie/main |
cryptominisat |
5.11.4 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Debian Unstable
sid/main |
cryptominisat |
5.11.4 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Devuan 4.0
chimaera/main |
cryptominisat |
5.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Devuan Unstable
unstable/main |
cryptominisat |
5.11.4 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Fedora 26
release |
cryptominisat4 |
4.5.3 |
Unspecified |
- |
Fedora 26
release |
cryptominisat |
2.9.11 |
Unspecified |
- |
Fedora 27
release |
cryptominisat4 |
4.5.3 |
Unspecified |
- |
Fedora 27
release |
cryptominisat |
2.9.11 |
Unspecified |
- |
Fedora 28
updates |
cryptominisat |
5.6.4 |
Unspecified |
- |
Fedora 28
release |
cryptominisat |
5.0.1 |
Unspecified |
- |
Fedora 28
release |
cryptominisat4 |
4.5.3 |
Unspecified |
- |
Fedora 29
release |
cryptominisat |
5.6.4 |
Unspecified |
- |
Fedora 30
release |
cryptominisat |
5.6.8 |
Unspecified |
- |
Fedora 31
release |
cryptominisat |
5.6.8 |
Unspecified |
- |
Fedora 32
updates |
cryptominisat |
5.7.1 |
Unspecified |
- |
Fedora 32
release |
cryptominisat |
5.6.8 |
Unspecified |
- |
Fedora 33
updates |
cryptominisat |
5.8.0 |
Unspecified |
- |
Fedora 33
release |
cryptominisat |
5.7.1 |
Unspecified |
- |
Fedora 34
release |
cryptominisat |
5.8.0 |
Unspecified |
- |
Fedora 35
release |
cryptominisat |
5.8.0 |
Unspecified |
- |
Fedora 36
release |
cryptominisat |
5.8.0 |
Unspecified |
- |
Fedora 37
release |
cryptominisat |
5.8.0 |
Unspecified |
- |
Fedora 38
release |
cryptominisat |
5.8.0 |
Unspecified |
- |
Fedora 39
development |
cryptominisat |
5.8.0 |
Unspecified |
- |
Fedora Rawhide
development |
cryptominisat |
5.8.0 |
Unspecified |
- |
|
FreeBSD Ports |
math/cryptominisat |
5.11.11 |
math |
arrowd@freebsd.org |
|
Gentoo |
sci-mathematics/cryptominisat |
5.11.14 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
Gentoo |
sci-mathematics/cryptominisat |
5.11.12 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
Gentoo |
sci-mathematics/cryptominisat |
5.11.11 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
GNU Guix |
cryptominisat |
5.11.4 |
- |
- |
|
Homebrew |
cryptominisat |
5.11.14 |
- |
- |
Kali Linux Rolling
main |
cryptominisat |
5.11.4 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
|
LiGurOS stable |
sci-mathematics/cryptominisat |
5.11.12 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS stable |
sci-mathematics/cryptominisat |
5.11.11 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/cryptominisat |
5.11.14 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/cryptominisat |
5.11.12 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/cryptominisat |
5.11.11 |
sci-mathematics |
sci-mathematics@gentoo.org |
Manjaro Stable
extra |
cryptominisat5 |
5.11.12 |
- |
- |
Manjaro Testing
extra |
cryptominisat |
5.11.14 |
- |
- |
Manjaro Unstable
extra |
cryptominisat |
5.11.14 |
- |
- |
|
nixpkgs stable 21.11 |
cryptominisat |
5.8.0 |
- |
joerg@thalheim.io |
|
nixpkgs stable 22.05 |
cryptominisat |
5.8.0 |
- |
joerg@thalheim.io |
|
nixpkgs stable 22.11 |
cryptominisat |
5.8.0 |
- |
joerg@thalheim.io |
|
nixpkgs stable 23.05 |
cryptominisat |
5.11.4 |
- |
joerg@thalheim.io |
|
nixpkgs unstable |
cryptominisat |
5.11.12 |
- |
joerg@thalheim.io |
Parabola
extra |
cryptominisat |
5.11.14 |
- |
- |
Pardus 21
main |
cryptominisat |
5.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Parrot
parrot-updates/main |
cryptominisat |
5.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Parrot
parrot/main |
cryptominisat |
5.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
|
PureOS landing |
cryptominisat |
5.11.4 |
math |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Raspbian Oldstable
main |
cryptominisat |
5.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Raspbian Stable
main |
cryptominisat |
5.11.4 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Raspbian Testing
main |
cryptominisat |
5.11.4 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Rosa 2014.1
contrib/release |
cryptominisat |
2.9.8 |
- |
- |
Rosa 2016.1
contrib/release |
cryptominisat |
2.9.8 |
- |
- |
Rosa 2021.1
contrib/release |
cryptominisat |
5.11.4 |
Sciences/Mathematics |
a.proklov@rosalinux.ru |
|
SageMath stable |
cryptominisat |
5.8.0 |
- |
- |
|
SageMath development |
cryptominisat |
5.8.0 |
- |
- |
|
SlackBuilds |
academic/cryptominisat |
5.11.3 |
academic |
avenorsa@email.arispamzona.edu |
Trisquel 11.0
aramo/main |
cryptominisat |
5.8.0 |
universe/misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Ubuntu 22.04
jammy/universe |
cryptominisat |
5.8.0 |
universe/misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Ubuntu 23.04
lunar/universe |
cryptominisat |
5.11.4 |
universe/misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Ubuntu 23.10
mantic/universe |
cryptominisat |
5.11.4 |
universe/misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
|
YACP |
cryptominisat |
5.11.4 |
Math |
- |