cryptominisat packages

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):

Arch
^community

cryptominisat5

5.8.0 (5.8.0-4)

Summary:
A modern, multi-threaded, feature-rich, simplifying SAT solver
License:
- MIT
Links(s):

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):

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):

Debian Testing
^testing/main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Debian Unstable
^main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Devuan 4.0 (Chimaera)
^{chimaera/main}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Devuan Unstable
^{unstable/main}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

DPorts

math/cryptominisat

5.8.0

Summary:
General-purpose award-winning SAT solver
Maintainer:
- arrowd@freebsd.org
Category:
- math
Links(s):

Fedora 26
^release

cryptominisat

2.9.11 (2.9.11-3.fc26)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora 26
^release

cryptominisat4

4.5.3 (4.5.3-8.fc26)

Summary:
SAT solver
Category:
- Unspecified
License:
- LGPLv2
Links(s):

Fedora 27
^release

cryptominisat

2.9.11 (2.9.11-5.fc27)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora 27
^release

cryptominisat4

4.5.3 (4.5.3-12.fc27)

Summary:
SAT solver
Category:
- Unspecified
License:
- LGPLv2
Links(s):

Fedora 28
^updates

cryptominisat

5.6.4 (5.6.4-1.fc28)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora 28
^release

cryptominisat

5.0.1 (5.0.1-3.fc28)

Summary:
SAT solver
Category:
- Unspecified
License:
- LGPLv2
Links(s):

Fedora 28
^release

cryptominisat4

4.5.3 (4.5.3-15.fc28)

Summary:
SAT solver
Category:
- Unspecified
License:
- LGPLv2
Links(s):

Fedora 29
^release

cryptominisat

5.6.4 (5.6.4-1.fc29)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora 30
^release

cryptominisat

5.6.8 (5.6.8-1.fc30)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora 31
^release

cryptominisat

5.6.8 (5.6.8-2.fc31)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora 32
^updates

cryptominisat

5.7.1 (5.7.1-1.fc32)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora 32
^release

cryptominisat

5.6.8 (5.6.8-6.fc32)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora 33
^updates

cryptominisat

5.8.0 (5.8.0-1.fc33)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora 33
^release

cryptominisat

5.7.1 (5.7.1-4.fc33)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

Fedora Rawhide

cryptominisat

5.8.0 (5.8.0-3.fc34)

Summary:
SAT solver
Category:
- Unspecified
License:
- MIT
Links(s):

FreeBSD Ports

math/cryptominisat

5.8.0

Summary:
General-purpose award-winning SAT solver
Maintainer:
- arrowd@freebsd.org
Category:
- math
Links(s):

Homebrew

cryptominisat

5.8.0

Summary:
Advanced SAT solver
Links(s):

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⁴⁶
- Package search on hyperbola.info.nu

Kali Linux Rolling
^main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Links(s):
- Upstream homepage⁴⁶
- Git repository

Linuxbrew

cryptominisat

5.8.0

Summary:
Advanced SAT solver
Links(s):

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⁴⁶

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⁴⁶

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⁴⁶

nixpkgs stable

cryptominisat

5.8.0

Summary:
An advanced SAT Solver
Maintainer:
- joerg@thalheim.io
License:
- MIT
Links(s):

nixpkgs unstable

cryptominisat

5.8.0

Summary:
An advanced SAT Solver
Maintainer:
- joerg@thalheim.io
License:
- MIT
Links(s):
- Upstream homepage⁴⁶
- 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⁴⁶
- Package search on parabola.nu

Parrot
^main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

PureOS landing

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

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⁴⁶

Raspbian Testing
^main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Rosa 2014.1
^{contrib/release}

cryptominisat

2.9.8 (2.9.8-2)

License:
- MIT
Links(s):
- Upstream homepage⁴⁶
- Package on abf.io

Rosa 2016.1
^{contrib/release}

cryptominisat

2.9.8 (2.9.8-4)

License:
- MIT
Links(s):
- Upstream homepage⁴⁶
- 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⁴⁶
- Package on abf.io

SlackBuilds

academic/cryptominisat

5.7.1

Maintainer:
- avenorsa@email.arispamzona.edu
Category:
- academic
Links(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶
- Package page
- Package recipe (raw)
- SlackBuilds.org page

Ubuntu 20.10
^{groovy/universe}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

YACP

cryptominisat

5.8.0

Summary:
Advanced SAT solver
Category:
- Math
Links(s):
- Upstream homepage⁴⁶
- Git

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

cryptominisat

math/cryptominisat

cryptominisat

cryptominisat2

cryptominisat

cryptominisat

cryptominisat5

cryptominisat5

cryptominisat5

cryptominisat

cryptominisat

cryptominisat5

cryptominisat

cryptominisat

cryptominisat

cryptominisat

cryptominisat

cryptominisat

cryptominisat

academic/cryptominisat

cryptominisat

cryptominisat