Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cryptominisat
70
package(s) known
Arch
extra
cryptominisat5
5.11.4
(5.11.4-3)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Package page
redir
Package sources
dead
(see archive.org)
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Arch Linux 32 i486
extra
cryptominisat5
5.8.0
(5.8.0-4.1)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Arch Linux 32 i686
extra
cryptominisat5
5.11.4
(5.11.4-1.0)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Package page
Upstream homepage
ok
,
no IPv6
Arch Linux 32 pentium4
extra
cryptominisat5
5.11.4
(5.11.4-1.0)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Arch Linux ARM aarch64
community
cryptominisat
2.9.11
(2.9.11-1)
Summary:
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
License:
LGPL
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Upstream homepage
dead
(see archive.org)
Arch Linux ARM aarch64
community
cryptominisat5
5.11.4
(5.11.4-3)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
Arch Linux ARM armv7h
community
cryptominisat
2.9.11
(2.9.11-1)
Summary:
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
License:
LGPL
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Upstream homepage
dead
(see archive.org)
Arch Linux ARM armv7h
community
cryptominisat5
5.11.4
(5.11.4-3)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
AUR
cryptominisat4
4.5.3
(4.5.3-1)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
Maintainer:
keenerd@aur
License:
LGPL
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
dead
(see archive.org)
AUR
cryptominisat5-git
5.6.8.r171.gc1b9ed65
(5.6.8.r171.gc1b9ed65-1)
Summary:
A modern multi-threaded SAT solver. With experimental features enabled.
Maintainer:
keenerd@aur
License:
MIT
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Debian 11
bullseye/main
cryptominisat
5.8.0
(5.8.0+dfsg1-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 12
bookworm/main
cryptominisat
5.11.4
(5.11.4+dfsg1-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian Unstable
sid/main
cryptominisat
5.11.4
(5.11.4+dfsg1-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Devuan 4.0
chimaera/main
cryptominisat
5.8.0
(5.8.0+dfsg1-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan Unstable
unstable/main
cryptominisat
5.11.4
(5.11.4+dfsg1-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
DPorts
math/cryptominisat
5.11.4
Summary:
General-purpose award-winning SAT solver
Maintainer:
arrowd@freebsd.org
Category:
math
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Build log
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 26
release
cryptominisat
2.9.11
(2.9.11-3.fc26)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 26
release
cryptominisat4
4.5.3
(4.5.3-8.fc26)
Summary:
SAT solver
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 27
release
cryptominisat
2.9.11
(2.9.11-5.fc27)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 27
release
cryptominisat4
4.5.3
(4.5.3-12.fc27)
Summary:
SAT solver
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 28
updates
cryptominisat
5.6.4
(5.6.4-1.fc28)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 28
release
cryptominisat
5.0.1
(5.0.1-3.fc28)
Summary:
SAT solver
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 28
release
cryptominisat4
4.5.3
(4.5.3-15.fc28)
Summary:
SAT solver
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 29
release
cryptominisat
5.6.4
(5.6.4-1.fc29)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 30
release
cryptominisat
5.6.8
(5.6.8-1.fc30)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 31
release
cryptominisat
5.6.8
(5.6.8-2.fc31)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 32
updates
cryptominisat
5.7.1
(5.7.1-1.fc32)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 32
release
cryptominisat
5.6.8
(5.6.8-6.fc32)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 33
updates
cryptominisat
5.8.0
(5.8.0-1.fc33)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 33
release
cryptominisat
5.7.1
(5.7.1-4.fc33)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 34
release
cryptominisat
5.8.0
(5.8.0-3.fc34)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 35
release
cryptominisat
5.8.0
(5.8.0-6.fc35)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 36
release
cryptominisat
5.8.0
(5.8.0-7.fc36)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 37
release
cryptominisat
5.8.0
(5.8.0-10.fc37)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 38
release
cryptominisat
5.8.0
(5.8.0-12.fc38)
Summary:
SAT solver
Category:
Unspecified
License:
MIT AND BSD-3-Clause
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora Rawhide
development
cryptominisat
5.8.0
(5.8.0-13.fc39)
Summary:
SAT solver
Category:
Unspecified
License:
MIT AND BSD-3-Clause
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
FreeBSD Ports
math/cryptominisat
5.11.4
(5.11.4_2)
Summary:
General-purpose award-winning SAT solver
Maintainer:
arrowd@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
,
no IPv6
Gentoo
sci-mathematics/cryptominisat
5.11.4
Summary:
Advanced SAT solver with C++ and command-line interfaces
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
Licenses:
GPL-2
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
GNU Guix
cryptominisat
5.11.4
Summary:
Incremental SAT solver
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Homebrew
cryptominisat
5.11.4
Summary:
Advanced SAT solver
Link(s):
Package page
ok
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Kali Linux Rolling
main
cryptominisat
5.11.4
(5.11.4+dfsg1-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
LiGurOS stable
sci-mathematics/cryptominisat
5.11.4
Summary:
Advanced SAT solver with C++ and command-line interfaces
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
Licenses:
GPL-2
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
LiGurOS develop
sci-mathematics/cryptominisat
5.11.4
Summary:
Advanced SAT solver with C++ and command-line interfaces
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
Licenses:
GPL-2
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Manjaro Stable
community
cryptominisat5
5.11.4
(5.11.4-2)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Upstream homepage
ok
,
no IPv6
Manjaro Testing
community
cryptominisat5
5.11.4
(5.11.4-3)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Upstream homepage
ok
,
no IPv6
Manjaro Unstable
extra
cryptominisat5
5.11.4
(5.11.4-3)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Upstream homepage
ok
,
no IPv6
nixpkgs stable 21.11
cryptominisat
5.8.0
Summary:
An advanced SAT Solver
Maintainer:
joerg@thalheim.io
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.05
cryptominisat
5.8.0
Summary:
An advanced SAT Solver
Maintainer:
joerg@thalheim.io
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.11
cryptominisat
5.8.0
Summary:
An advanced SAT Solver
Maintainer:
joerg@thalheim.io
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs unstable
cryptominisat
5.11.4
Summary:
An advanced SAT Solver
Maintainer:
joerg@thalheim.io
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Parabola
extra
cryptominisat5
5.11.4
(5.11.4-3)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Pardus 21
main
cryptominisat
5.8.0
(5.8.0+dfsg1-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot/main
cryptominisat
5.8.0
(5.8.0+dfsg1-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot-updates/main
cryptominisat
5.8.0
(5.8.0+dfsg1-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
PureOS landing
cryptominisat
5.8.0
(5.8.0+dfsg1-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Oldstable
main
cryptominisat
5.6.4
(5.6.4+dfsg.1-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Stable
main
cryptominisat
5.8.0
(5.8.0+dfsg1-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Testing
main
cryptominisat
5.11.4
(5.11.4+dfsg1-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Rosa 2014.1
contrib/release
cryptominisat
2.9.8
(2.9.8-2)
License:
MIT
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Rosa 2016.1
contrib/release
cryptominisat
2.9.8
(2.9.8-4)
License:
MIT
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Rosa 2021.1
contrib/release
cryptominisat
5.11.4
(5.11.4-2)
Summary:
SAT solver
Maintainer:
a.proklov@rosalinux.ru
Category:
Sciences/Mathematics
License:
MIT
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
SageMath stable
cryptominisat
5.8.0
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Patch
ok
,
no IPv6
Patch
ok
,
no IPv6
Patch (raw)
ok
Patch (raw)
ok
Upstream download
ok
,
no IPv6
SageMath development
cryptominisat
5.8.0
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Patch
ok
,
no IPv6
Patch
ok
,
no IPv6
Patch (raw)
ok
Patch (raw)
ok
Upstream download
ok
,
no IPv6
SlackBuilds
academic/cryptominisat
5.11.3
Maintainer:
avenorsa@email.arispamzona.edu
Category:
academic
Link(s):
Package page
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Trisquel 11.0
aramo/main
cryptominisat
5.8.0
(5.8.0+dfsg1-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
universe/misc
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 22.04
jammy/universe
cryptominisat
5.8.0
(5.8.0+dfsg1-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 22.10
kinetic/universe
cryptominisat
5.8.0
(5.8.0+dfsg1-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 23.04
lunar/universe
cryptominisat
5.11.4
(5.11.4+dfsg1-2build1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 23.10
mantic/universe
cryptominisat
5.11.4
(5.11.4+dfsg1-2build1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
YACP
cryptominisat
5.11.4
Summary:
Advanced SAT solver
Category:
Math
Link(s):
Package sources
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6