Versions Packages Information History Related Badges Report

Packages for cryptominisat

65 package(s) known

cryptominisat2

5.8.0 (5.8.0-2)
Arch
community

cryptominisat5

5.8.0 (5.8.0-9)

cryptominisat5

5.8.0 (5.8.0-4.1)

cryptominisat5

5.8.0 (5.8.0-9.0)

cryptominisat5

5.8.0 (5.8.0-9.0)

cryptominisat

2.9.11 (2.9.11-1)

cryptominisat5

5.8.0 (5.8.0-9)

cryptominisat

2.9.11 (2.9.11-1)

cryptominisat5

5.8.0 (5.8.0-9)

cryptominisat4

4.5.3 (4.5.3-1)

cryptominisat5-git

5.6.8.r171.gc1b9ed65 (5.6.8.r171.gc1b9ed65-1)
Devuan 4.0
chimaera/main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)
Devuan Unstable
unstable/main

cryptominisat

5.8.0 (5.8.0+dfsg1-2)

math/cryptominisat

5.8.0
Fedora 26
release

cryptominisat

2.9.11 (2.9.11-3.fc26)
Fedora 26
release

cryptominisat4

4.5.3 (4.5.3-8.fc26)
Fedora 27
release

cryptominisat

2.9.11 (2.9.11-5.fc27)
Fedora 27
release

cryptominisat4

4.5.3 (4.5.3-12.fc27)
Fedora 28
updates

cryptominisat

5.6.4 (5.6.4-1.fc28)
Fedora 28
release

cryptominisat

5.0.1 (5.0.1-3.fc28)
Fedora 28
release

cryptominisat4

4.5.3 (4.5.3-15.fc28)
Fedora 29
release

cryptominisat

5.6.4 (5.6.4-1.fc29)
Fedora 30
release

cryptominisat

5.6.8 (5.6.8-1.fc30)
Fedora 31
release

cryptominisat

5.6.8 (5.6.8-2.fc31)
Fedora 32
updates

cryptominisat

5.7.1 (5.7.1-1.fc32)
Fedora 32
release

cryptominisat

5.6.8 (5.6.8-6.fc32)
Fedora 33
updates

cryptominisat

5.8.0 (5.8.0-1.fc33)
Fedora 33
release

cryptominisat

5.7.1 (5.7.1-4.fc33)
Fedora 34
release

cryptominisat

5.8.0 (5.8.0-3.fc34)
Fedora 35
release

cryptominisat

5.8.0 (5.8.0-6.fc35)
Fedora 36
development

cryptominisat

5.8.0 (5.8.0-7.fc36)
Fedora Rawhide
development

cryptominisat

5.8.0 (5.8.0-8.fc37)

math/cryptominisat

5.8.0

sci-mathematics/cryptominisat

5.8.0

cryptominisat

5.8.0

cryptominisat

5.8.0 (5.8.0+dfsg1-2)

sci-mathematics/cryptominisat

5.8.0

sci-mathematics/cryptominisat

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

cryptominisat5

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

cryptominisat

5.8.0

cryptominisat

5.8.0

cryptominisat

5.8.0
Parabola
community

cryptominisat5

5.8.0 (5.8.0-9)

cryptominisat

5.8.0 (5.8.0+dfsg1-1)
Parrot
parrot-updates/main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)
Parrot
parrot/main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

cryptominisat

5.6.4 (5.6.4+dfsg.1-1)

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

cryptominisat

5.8.0 (5.8.0+dfsg1-2)
Rosa 2014.1
contrib/release

cryptominisat

2.9.8 (2.9.8-2)
Rosa 2016.1
contrib/release

cryptominisat

2.9.8 (2.9.8-4)
Rosa 2019.1
contrib/release

cryptominisat

2.9.8 (2.9.8-4)

academic/cryptominisat

5.7.1

cryptominisat

5.8.0