Information for cryptominisat

Versions

• 5.6.8.r171.gc1b9ed65
• 5.11.14 (3)
• 5.11.12 (3)
• 5.11.11 (2)
• 5.11.4 (6)
• 5.11.3
• 5.8.0 (5)
• 5.7.1
• 5.6.8
• 5.6.4
• 5.0.1
• 4.5.3 (2)
• 2.9.11 (2)
• 2.9.8

Package names

• cryptominisat (12)
• cryptominisat4 (2)
• cryptominisat5
• cryptominisat5-git

Repositories

• Arch
• Arch Linux 32 i486
• Arch Linux 32 i686
• Arch Linux 32 pentium4
• Arch Linux ARM aarch64
• AUR
• Debian 11
• Debian 12
• Debian 13
• Debian Unstable
• Devuan 4.0
• Devuan Unstable
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora 38
• Fedora 39
• Fedora Rawhide
• FreeBSD Ports
• Gentoo
• GNU Guix
• Homebrew
• Kali Linux Rolling
• LiGurOS stable
• LiGurOS develop
• Manjaro Stable
• Manjaro Testing
• Manjaro Unstable
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs unstable
• Parabola
• Pardus 21
• Parrot
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Rosa 2014.1
• Rosa 2016.1
• Rosa 2021.1
• SageMath stable
• SageMath development
• SlackBuilds
• Trisquel 11.0
• Ubuntu 22.04
• Ubuntu 23.04
• Ubuntu 23.10
• YACP

Categories

• Math
• Sciences/Mathematics
• Unspecified
• academic
• math (2)
• misc
• sci-mathematics
• universe/misc

Licenses

• GPL-2
• LGPL
• LGPLv2
• MIT (5)
• MIT AND BSD-3-Clause

Summaries

• A modern multi-threaded SAT solver. With experimental features enabled.
• A modern, multi-threaded, feature-rich, simplifying SAT solver
• Advanced SAT solver (2)
• Advanced SAT solver with C++ and command-line interfaces
• An advanced SAT Solver
• General-purpose award-winning SAT solver
• Incremental SAT solver
• SAT solver (2)
• SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat

Maintainers

• a.proklov@rosalinux.ru
• arrowd@freebsd.org
• avenorsa@email.arispamzona.edu
• debian-science-maintainers@lists.alioth.debian.org
• joerg@thalheim.io
• jpuydt@debian.org
• julian.rueth@fsfe.org
• keenerd@aur
• sci-mathematics@gentoo.org

• Group email

Homepage links

• http://www.msoos.org/^{redir, no IPv6}
• http://www.msoos.org/cryptominisat2/^{dead (see archive.org)} (3)
• http://www.msoos.org/cryptominisat4/^{dead (see archive.org)} (2)
• https://github.com/msoos/cryptominisat^{ok, no IPv6} (4)
• https://github.com/msoos/cryptominisat/^{ok, no IPv6} (2)
• https://www.msoos.org/^{ok, no IPv6} (2)
• https://www.msoos.org/cryptominisat5/^{ok, no IPv6} (3)

All package recipes

• https://abf.io/import/cryptominisat/blob/rosa2014.1/cryptominisat.spec^{ok, no IPv6}
• https://abf.io/import/cryptominisat/blob/rosa2016.1/cryptominisat.spec^{ok, no IPv6}
• https://abf.io/import/cryptominisat/blob/rosa2021.1/cryptominisat.spec^{ok, no IPv6}
• https://archlinuxarm.org/packages/aarch64/cryptominisat/files/PKGBUILD^{dead (see archive.org)}
• https://archlinuxarm.org/packages/aarch64/cryptominisat5/files/PKGBUILD^{dead (see archive.org)}
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cryptominisat4^ok
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cryptominisat5-git^ok
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/maths.scm#n7924^ok
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/cryptominisat.rb^{dead (see archive.org)}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/cryptominisat/default.nix#L24^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/cryptominisat/default.nix#L26^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/cryptominisat/default.nix#L26^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/cryptominisat/default.nix#L26^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/applications/science/logic/cryptominisat/default.nix#L24^{ok, no IPv6}
• https://github.com/sagemath/sage/blob/develop/build/pkgs/cryptominisat/spkg-install.in^{ok, no IPv6}
• https://github.com/sagemath/sage/blob/master/build/pkgs/cryptominisat/spkg-install.in^{ok, no IPv6}
• https://gitlab.archlinux.org/archlinux/packaging/packages/cryptominisat/-/blob/main/PKGBUILD^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild^ok
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f26/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f27/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f28/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f29/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f30/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f31/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f32/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f33/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f34/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f35/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f36/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f37/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f38/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/f39/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat/blob/rawhide/f/cryptominisat.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat4/blob/f26/f/cryptominisat4.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat4/blob/f27/f/cryptominisat4.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cryptominisat4/blob/f28/f/cryptominisat4.spec^{ok, no IPv6}

Downloads

• https://github.com/msoos/cryptominisat^{ok, no IPv6}
• https://github.com/msoos/cryptominisat/archive/5.11.11.tar.gz^{ok, no IPv6}
• https://github.com/msoos/cryptominisat/archive/5.11.12.tar.gz^{ok, no IPv6}
• https://github.com/msoos/cryptominisat/archive/5.11.14.tar.gz^{ok, no IPv6} (2)
• https://github.com/msoos/cryptominisat/archive/5.11.3/cryptominisat-5.11.3.tar.gz^{ok, no IPv6}
• https://github.com/msoos/cryptominisat/archive/refs/tags/5.8.0.tar.gz^{ok, no IPv6}

Patches

• https://github.com/sagemath/sage/blob/develop/build/pkgs/cryptominisat/patches/679.patch^{ok, no IPv6}
• https://github.com/sagemath/sage/blob/develop/build/pkgs/cryptominisat/patches/cryptominisat-5.8.0-rm_extra_python_vars.patch^{ok, no IPv6}
• https://github.com/sagemath/sage/blob/master/build/pkgs/cryptominisat/patches/679.patch^{ok, no IPv6}
• https://github.com/sagemath/sage/blob/master/build/pkgs/cryptominisat/patches/cryptominisat-5.8.0-rm_extra_python_vars.patch^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/cryptominisat/2.9.11/3.fc26/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/2.9.11/5.fc27/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.0.1/3.fc28/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.6.4/1.fc28/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.6.4/1.fc29/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.6.8/1.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.6.8/2.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.6.8/6.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.7.1/1.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.7.1/4.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.8.0/1.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.8.0/10.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.8.0/12.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.8.0/15.fc39/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.8.0/3.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.8.0/6.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat/5.8.0/7.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat4/4.5.3/12.fc27/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat4/4.5.3/15.fc28/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cryptominisat4/4.5.3/8.fc26/data/logs/^{ok, no IPv6}