cryptominisat packages - Repology

Versions Packages Information History Related Badges Report

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

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

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

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

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

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

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

Debian 11
^{bullseye/main}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Debian 12
^{bookworm/main}

cryptominisat

5.11.4 (5.11.4+dfsg1-2)

Debian Unstable
^sid/main

cryptominisat

5.11.4 (5.11.4+dfsg1-2)

Devuan 4.0
^{chimaera/main}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Link(s):
- Upstream homepage^{ok, no IPv6}

Devuan Unstable
^{unstable/main}

cryptominisat

5.11.4 (5.11.4+dfsg1-2)

Maintainers:
Category:
- misc
Link(s):
- Upstream homepage^{ok, no IPv6}

math/cryptominisat

5.11.4

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

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}

math/cryptominisat

5.11.4 (5.11.4_2)

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

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

cryptominisat

5.11.4

Summary:
Incremental SAT solver
Link(s):

cryptominisat

5.11.4

Summary:
Advanced SAT solver
Link(s):

Kali Linux Rolling
^main

cryptominisat

5.11.4 (5.11.4+dfsg1-2)

Maintainers:
Category:
- misc
Link(s):
- Upstream homepage^{ok, no IPv6}

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

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

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:
Category:
- misc
Link(s):
- Upstream homepage^{ok, no IPv6}

Parrot
^parrot/main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Link(s):
- Upstream homepage^{ok, no IPv6}

Parrot
^{parrot-updates/main}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
Category:
- misc
Link(s):
- Upstream homepage^{ok, no IPv6}

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

Maintainers:
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:
Category:
- misc
Link(s):
- Upstream homepage^{ok, no IPv6}

Raspbian Testing
^main

cryptominisat

5.11.4 (5.11.4+dfsg1-2)

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

Rosa 2016.1
^{contrib/release}

cryptominisat

2.9.8 (2.9.8-4)

License:
- MIT
Link(s):

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

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}

academic/cryptominisat

5.11.3

Maintainer:
- avenorsa@email.arispamzona.edu
Category:
- academic
Link(s):

Trisquel 11.0
^aramo/main

cryptominisat

5.8.0 (5.8.0+dfsg1-2)

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

Ubuntu 22.10
^{kinetic/universe}

cryptominisat

5.8.0 (5.8.0+dfsg1-2)

Ubuntu 23.04
^{lunar/universe}

cryptominisat

5.11.4 (5.11.4+dfsg1-2build1)

Ubuntu 23.10
^{mantic/universe}

cryptominisat

5.11.4 (5.11.4+dfsg1-2build1)

YACP

cryptominisat

5.11.4

Summary:
Advanced SAT solver
Category:
- Math
Link(s):
- Package sources^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}