Versions Packages Information History Related Badges Report

Packages for cryptominisat

45 package(s) known

cryptominisat2

5.6.6 (5.6.6-3)
Arch
community

cryptominisat5

5.8.0 (5.8.0-1)

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)
chimaera/main

cryptominisat

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

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

math/cryptominisat

5.7.1
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
release

cryptominisat

5.7.1 (5.7.1-4.fc33)

cryptominisat

5.7.1 (5.7.1-4.fc33)

math/cryptominisat

5.8.0

cryptominisat

5.6.8
Hyperbola
community

cryptominisat2

2.9.11 (2.9.11-1)

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

cryptominisat

5.6.8
Manjaro Stable
community

cryptominisat5

5.8.0 (5.8.0-1)
Manjaro Testing
community

cryptominisat5

5.8.0 (5.8.0-1)

cryptominisat5

5.8.0 (5.8.0-1)

cryptominisat

5.8.0

cryptominisat

5.8.0
Parabola
community

cryptominisat5

5.8.0 (5.8.0-1)
Parrot
main

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

cryptominisat

5.6.4 (5.6.4+dfsg.1-1)
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)

cryptominisat

5.8.0