Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cryptominisat
65
package(s) known
AOSC
cryptominisat2
5.8.0 (5.8.0-2)
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
Maintainer:
fallback-mnt-aosc@repology
Category:
math
Links(s):
Package page
4
6
Package sources
4
6
Arch
community
cryptominisat5
5.8.0 (5.8.0-9)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Arch Linux 32 i486
community
cryptominisat5
5.8.0 (5.8.0-4.1)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Arch Linux 32 i686
community
cryptominisat5
5.8.0 (5.8.0-9.0)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Arch Linux 32 pentium4
community
cryptominisat5
5.8.0 (5.8.0-9.0)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Arch Linux ARM aarch64
community
cryptominisat5
5.8.0 (5.8.0-9)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Arch Linux ARM armv7h
community
cryptominisat5
5.8.0 (5.8.0-9)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
AUR
cryptominisat4
4.5.3 (4.5.3-1)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
Maintainer:
keenerd@aur
License:
LGPL
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Debian 12
bookworm/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:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
Package statistics
4
6
Debian Unstable
sid/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:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
Package statistics
4
6
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
Links(s):
Upstream homepage
4
6
Devuan Unstable
unstable/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:
misc
Links(s):
Upstream homepage
4
6
DPorts
math/cryptominisat
5.8.0
Summary:
General-purpose award-winning SAT solver
Maintainer:
arrowd@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log
4
6
Fedora 26
release
cryptominisat
2.9.11 (2.9.11-3.fc26)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 26
release
cryptominisat4
4.5.3 (4.5.3-8.fc26)
Summary:
SAT solver
Category:
Unspecified
License:
LGPLv2
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 27
release
cryptominisat
2.9.11 (2.9.11-5.fc27)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 27
release
cryptominisat4
4.5.3 (4.5.3-12.fc27)
Summary:
SAT solver
Category:
Unspecified
License:
LGPLv2
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 28
updates
cryptominisat
5.6.4 (5.6.4-1.fc28)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 28
release
cryptominisat
5.0.1 (5.0.1-3.fc28)
Summary:
SAT solver
Category:
Unspecified
License:
LGPLv2
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 28
release
cryptominisat4
4.5.3 (4.5.3-15.fc28)
Summary:
SAT solver
Category:
Unspecified
License:
LGPLv2
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 29
release
cryptominisat
5.6.4 (5.6.4-1.fc29)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 30
release
cryptominisat
5.6.8 (5.6.8-1.fc30)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 31
release
cryptominisat
5.6.8 (5.6.8-2.fc31)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 32
updates
cryptominisat
5.7.1 (5.7.1-1.fc32)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 32
release
cryptominisat
5.6.8 (5.6.8-6.fc32)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 33
updates
cryptominisat
5.8.0 (5.8.0-1.fc33)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 33
release
cryptominisat
5.7.1 (5.7.1-4.fc33)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 34
release
cryptominisat
5.8.0 (5.8.0-3.fc34)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 35
release
cryptominisat
5.8.0 (5.8.0-6.fc35)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 36
development
cryptominisat
5.8.0 (5.8.0-7.fc36)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora Rawhide
development
cryptominisat
5.8.0 (5.8.0-8.fc37)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
FreeBSD Ports
math/cryptominisat
5.8.0
Summary:
General-purpose award-winning SAT solver
Maintainer:
arrowd@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
Gentoo
sci-mathematics/cryptominisat
5.8.0
Summary:
Advanced SAT solver with C++ and Python interfaces
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
Licenses:
GPL-2
MIT
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Homebrew
cryptominisat
5.8.0
Summary:
Advanced SAT solver
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Kali Linux Rolling
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:
misc
Links(s):
Upstream homepage
4
6
LiGurOS stable
sci-mathematics/cryptominisat
5.8.0
Summary:
Advanced SAT solver with C++ and Python interfaces
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
Licenses:
GPL-2
MIT
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
LiGurOS develop
sci-mathematics/cryptominisat
5.8.0
Summary:
Advanced SAT solver with C++ and Python interfaces
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
Licenses:
GPL-2
MIT
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Manjaro Stable
community
cryptominisat5
5.8.0 (5.8.0-9)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Manjaro Testing
community
cryptominisat5
5.8.0 (5.8.0-9)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Manjaro Unstable
community
cryptominisat5
5.8.0 (5.8.0-9)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
nixpkgs stable 21.05
cryptominisat
5.8.0
Summary:
An advanced SAT Solver
Maintainer:
joerg@thalheim.io
License:
MIT
Links(s):
Upstream homepage
4
6
Package recipe
4
6
nixpkgs stable 21.11
cryptominisat
5.8.0
Summary:
An advanced SAT Solver
Maintainer:
joerg@thalheim.io
License:
MIT
Links(s):
Upstream homepage
4
6
Package recipe
4
6
nixpkgs unstable
cryptominisat
5.8.0
Summary:
An advanced SAT Solver
Maintainer:
joerg@thalheim.io
License:
MIT
Links(s):
Upstream homepage
4
6
Package recipe
4
6
Parabola
community
cryptominisat5
5.8.0 (5.8.0-9)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
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
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
Raspbian Testing
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:
misc
Links(s):
Upstream homepage
4
6
Rosa 2014.1
contrib/release
cryptominisat
2.9.8 (2.9.8-2)
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Rosa 2016.1
contrib/release
cryptominisat
2.9.8 (2.9.8-4)
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Rosa 2019.1
contrib/release
cryptominisat
2.9.8 (2.9.8-4)
Summary:
SAT solver
Maintainer:
m.novosyolov@rosalinux.ru
Category:
Sciences/Mathematics
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
SageMath stable
cryptominisat
5.6.8
Links(s):
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
SageMath development
cryptominisat
5.6.8
Links(s):
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
SlackBuilds
academic/cryptominisat
5.7.1
Maintainer:
avenorsa@email.arispamzona.edu
Category:
academic
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package page
4
6
Package recipe (raw)
4
6
Ubuntu 21.04
hirsute/universe
cryptominisat
5.8.0 (5.8.0+dfsg1-1build2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 21.10
impish/universe
cryptominisat
5.8.0 (5.8.0+dfsg1-1build2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
jpuydt@debian.org
julian.rueth@fsfe.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
YACP
cryptominisat
5.8.0
Summary:
Advanced SAT solver
Category:
Math
Links(s):
Upstream homepage
4
6
Package sources
4
6