cryptominisat packages

45 package(s) known

AOSC

cryptominisat2

5.6.6 (5.6.6-3)

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
Package-related links:
- Package details
- Package sources on GitHub

Arch
^community

cryptominisat5

5.8.0 (5.8.0-1)

Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
- MIT
Package-related links:
Homepage:
- https://github.com/msoos/cryptominisat/⁴⁶

AUR

cryptominisat4

4.5.3 (4.5.3-1)

Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
Maintainer:
- keenerd@aur
License:
- LGPL
Package-related links:
Homepage:
- http://www.msoos.org/cryptominisat4/⁴⁶

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
Package-related links:
Homepage:
- https://github.com/msoos/cryptominisat/⁴⁶

Debian Testing
^testing/main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Package-related links:
Homepage:
- https://www.msoos.org/⁴⁶

Debian Unstable
^main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Package-related links:
Homepage:
- https://www.msoos.org/⁴⁶

Devuan 4.0 (Chimaera)
^{chimaera/main}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Homepage:
- https://www.msoos.org/⁴⁶

Devuan Unstable
^{unstable/main}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Homepage:
- https://www.msoos.org/⁴⁶

DPorts

math/cryptominisat

5.7.1

Summary:
General-purpose award-winning SAT solver
Maintainer:
- arrowd@freebsd.org
Category:
- math
Package-related links:
Homepage:
- https://github.com/msoos/cryptominisat⁴⁶

Fedora 26
^release

cryptominisat

2.9.11 (2.9.11-3.fc26)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/cryptominisat2/⁴⁶

Fedora 26
^release

cryptominisat4

4.5.3 (4.5.3-8.fc26)

Summary:
SAT solver
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/cryptominisat4/⁴⁶

Fedora 27
^release

cryptominisat

2.9.11 (2.9.11-5.fc27)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/cryptominisat2/⁴⁶

Fedora 27
^release

cryptominisat4

4.5.3 (4.5.3-12.fc27)

Summary:
SAT solver
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/cryptominisat4/⁴⁶

Fedora 28
^updates

cryptominisat

5.6.4 (5.6.4-1.fc28)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/⁴⁶

Fedora 28
^release

cryptominisat

5.0.1 (5.0.1-3.fc28)

Summary:
SAT solver
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/⁴⁶

Fedora 28
^release

cryptominisat4

4.5.3 (4.5.3-15.fc28)

Summary:
SAT solver
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/cryptominisat4/⁴⁶

Fedora 29
^release

cryptominisat

5.6.4 (5.6.4-1.fc29)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/⁴⁶

Fedora 30
^release

cryptominisat

5.6.8 (5.6.8-1.fc30)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/⁴⁶

Fedora 31
^release

cryptominisat

5.6.8 (5.6.8-2.fc31)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/⁴⁶

Fedora 32
^updates

cryptominisat

5.7.1 (5.7.1-1.fc32)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/⁴⁶

Fedora 32
^release

cryptominisat

5.6.8 (5.6.8-6.fc32)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/⁴⁶

Fedora 33
^release

cryptominisat

5.7.1 (5.7.1-4.fc33)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/⁴⁶

Fedora Rawhide

cryptominisat

5.7.1 (5.7.1-4.fc33)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://www.msoos.org/⁴⁶

FreeBSD Ports

math/cryptominisat

5.8.0

Summary:
General-purpose award-winning SAT solver
Maintainer:
- arrowd@freebsd.org
Category:
- math
Package-related links:
Homepage:
- https://github.com/msoos/cryptominisat⁴⁶

Homebrew

cryptominisat

5.6.8

Summary:
Advanced SAT solver
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- https://www.msoos.org/cryptominisat5/⁴⁶

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
Package-related links:
- Package search on hyperbola.info.nu
Homepage:
- http://www.msoos.org/cryptominisat2/⁴⁶

Kali Linux Rolling
^main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Package-related links:
- Git repository
Homepage:
- https://www.msoos.org/⁴⁶

Linuxbrew

cryptominisat

5.6.8

Summary:
Advanced SAT solver
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- https://www.msoos.org/cryptominisat5/⁴⁶

Manjaro Stable
^community

cryptominisat5

5.8.0 (5.8.0-1)

Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
- MIT
Homepage:
- https://github.com/msoos/cryptominisat/⁴⁶

Manjaro Testing
^community

cryptominisat5

5.8.0 (5.8.0-1)

Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
- MIT
Homepage:
- https://github.com/msoos/cryptominisat/⁴⁶

Manjaro Unstable
^community

cryptominisat5

5.8.0 (5.8.0-1)

Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
- MIT
Homepage:
- https://github.com/msoos/cryptominisat/⁴⁶

nixpkgs stable

cryptominisat

5.8.0

Summary:
An advanced SAT Solver
Maintainer:
- joerg@thalheim.io
License:
- MIT
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- https://github.com/msoos/cryptominisat⁴⁶

nixpkgs unstable

cryptominisat

5.8.0

Summary:
An advanced SAT Solver
Maintainer:
- joerg@thalheim.io
License:
- MIT
Package-related links:
- Package source
Homepage:
- https://github.com/msoos/cryptominisat⁴⁶

Parabola
^community

cryptominisat5

5.8.0 (5.8.0-1)

Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
- MIT
Package-related links:
- Package search on parabola.nu
Homepage:
- https://github.com/msoos/cryptominisat/⁴⁶

Parrot
^main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Homepage:
- https://www.msoos.org/⁴⁶

PureOS landing

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Homepage:
- https://www.msoos.org/⁴⁶

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
Homepage:
- https://www.msoos.org/⁴⁶

Raspbian Testing
^main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Homepage:
- https://www.msoos.org/⁴⁶

Rosa 2014.1
^{contrib/release}

cryptominisat

2.9.8 (2.9.8-2)

License:
- MIT
Package-related links:
- Package on abf.io
Homepage:
- http://www.msoos.org/cryptominisat2/⁴⁶

Rosa 2016.1
^{contrib/release}

cryptominisat

2.9.8 (2.9.8-4)

License:
- MIT
Package-related links:
- Package on abf.io
Homepage:
- http://www.msoos.org/cryptominisat2/⁴⁶

Rosa 2019.1
^{contrib/release}

cryptominisat

2.9.8 (2.9.8-4)

Summary:
SAT solver
Maintainer:
- alexander@mezon.ru
Category:
- Sciences/Mathematics
License:
- MIT
Package-related links:
- Package on abf.io
Homepage:
- http://www.msoos.org/cryptominisat2/⁴⁶

SlackBuilds

academic/cryptominisat

5.7.1

Maintainer:
- avenorsa@email.arispamzona.edu
Category:
- academic
Package-related links:
- SlackBuilds.org page
Homepage:
- https://www.msoos.org/cryptominisat5/⁴⁶
Download(s):
- https://github.com/msoos/cryptominisat/archive/5.7.1/cryptominisat-5.7.1.tar.gz⁴⁶

Ubuntu 19.10
^{eoan/universe}

cryptominisat

5.6.4 (5.6.4+dfsg.1-1ubuntu1)

Maintainers:
- ubuntu-devel-discuss@lists.ubuntu.com
- julian.rueth@fsfe.org
Category:
- universe/misc
Package-related links:
Homepage:
- https://www.msoos.org/⁴⁶

Ubuntu 20.10
^{groovy/universe}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- universe/misc
Package-related links:
Homepage:
- https://www.msoos.org/⁴⁶

YACP

cryptominisat

5.8.0

Summary:
Advanced SAT solver
Category:
- Math
Package-related links:
- Git
Homepage:
- https://www.msoos.org/cryptominisat5/⁴⁶

Packages for cryptominisat

cryptominisat2

cryptominisat5

cryptominisat4

cryptominisat5-git

cryptominisat

cryptominisat

cryptominisat

cryptominisat

math/cryptominisat

cryptominisat

cryptominisat4

cryptominisat

cryptominisat4

cryptominisat

cryptominisat

cryptominisat4

cryptominisat

cryptominisat

cryptominisat

cryptominisat

cryptominisat

cryptominisat

cryptominisat

math/cryptominisat

cryptominisat

cryptominisat2

cryptominisat

cryptominisat

cryptominisat5

cryptominisat5

cryptominisat5

cryptominisat

cryptominisat

cryptominisat5

cryptominisat

cryptominisat

cryptominisat

cryptominisat

cryptominisat

cryptominisat

cryptominisat

academic/cryptominisat

cryptominisat

cryptominisat

cryptominisat