Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cryptominisat
45
package(s) known
AOSC
cryptominisat2
5.8.0
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
Package recipe
Package recipe (raw)
Package source directory
Package details
Arch
community
cryptominisat5
5.8.0 (5.8.0-4)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Package details on www.archlinux.org
Git repository
PKGBUILD
Package information (x86_64)
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
AUR package details
View PKGBUILD
ArchWiki search
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
AUR package details
View PKGBUILD
ArchWiki search
Debian Testing
testing/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 details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Debian Unstable
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 details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Devuan 4.0 (Chimaera)
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-1)
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
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
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 details on Fedora Pagure
Package details on Fedora Packages
Fedora Rawhide
cryptominisat
5.8.0 (5.8.0-3.fc34)
Summary:
SAT solver
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package details on Fedora Pagure
Package details on Fedora Packages
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
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homebrew
cryptominisat
5.8.0
Summary:
Advanced SAT solver
Links(s):
Upstream homepage
4
6
Formula page
Formula code on GitHub
Hyperbola
community
cryptominisat2
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 search on hyperbola.info.nu
Kali Linux Rolling
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
Git repository
Linuxbrew
cryptominisat
5.8.0
Summary:
Advanced SAT solver
Links(s):
Upstream homepage
4
6
Formula page
Formula code on GitHub
Manjaro Stable
community
cryptominisat5
5.8.0 (5.8.0-4)
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-4)
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-4)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
nixpkgs stable
cryptominisat
5.8.0
Summary:
An advanced SAT Solver
Maintainer:
joerg@thalheim.io
License:
MIT
Links(s):
Upstream homepage
4
6
Package source (release branch)
Package source (master branch, imprecise link)
nixpkgs unstable
cryptominisat
5.8.0
Summary:
An advanced SAT Solver
Maintainer:
joerg@thalheim.io
License:
MIT
Links(s):
Upstream homepage
4
6
Package source
Parabola
community
cryptominisat5
5.8.0 (5.8.0-4)
Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
MIT
Links(s):
Upstream homepage
4
6
Package search on parabola.nu
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 Stable
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 Testing
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
Rosa 2014.1
contrib/release
cryptominisat
2.9.8 (2.9.8-2)
License:
MIT
Links(s):
Upstream homepage
4
6
Package on abf.io
Rosa 2016.1
contrib/release
cryptominisat
2.9.8 (2.9.8-4)
License:
MIT
Links(s):
Upstream homepage
4
6
Package on abf.io
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 on abf.io
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
Package recipe (raw)
SlackBuilds.org page
Ubuntu 20.10
groovy/universe
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:
universe/misc
Links(s):
Upstream homepage
4
6
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
YACP
cryptominisat
5.8.0
Summary:
Advanced SAT solver
Category:
Math
Links(s):
Upstream homepage
4
6
Git