Versions Packages Information History Related Badges Report

Packages for cryptominisat

70 package(s) known

Arch
extra

cryptominisat5

5.11.4 (5.11.4-3)

cryptominisat5

5.8.0 (5.8.0-4.1)

cryptominisat5

5.11.4 (5.11.4-1.0)

cryptominisat5

5.11.4 (5.11.4-1.0)

cryptominisat

2.9.11 (2.9.11-1)

cryptominisat5

5.11.4 (5.11.4-3)

cryptominisat

2.9.11 (2.9.11-1)

cryptominisat5

5.11.4 (5.11.4-3)

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.11.4 (5.11.4+dfsg1-2)

math/cryptominisat

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

cryptominisat

5.8.0 (5.8.0-7.fc36)
Fedora 37
release

cryptominisat

5.8.0 (5.8.0-10.fc37)
Fedora 38
release

cryptominisat

5.8.0 (5.8.0-12.fc38)
Fedora Rawhide
development

cryptominisat

5.8.0 (5.8.0-13.fc39)

math/cryptominisat

5.11.4 (5.11.4_2)

sci-mathematics/cryptominisat

5.11.4

cryptominisat

5.11.4

sci-mathematics/cryptominisat

5.11.4

sci-mathematics/cryptominisat

5.11.4
Manjaro Stable
community

cryptominisat5

5.11.4 (5.11.4-2)
Manjaro Testing
community

cryptominisat5

5.11.4 (5.11.4-3)

cryptominisat5

5.11.4 (5.11.4-3)

cryptominisat

5.8.0

cryptominisat

5.8.0

cryptominisat

5.8.0

cryptominisat

5.11.4
Parabola
extra

cryptominisat5

5.11.4 (5.11.4-3)
Parrot
parrot/main

cryptominisat

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

cryptominisat

5.8.0 (5.8.0+dfsg1-1)

cryptominisat

5.6.4 (5.6.4+dfsg.1-1)
Rosa 2021.1
contrib/release

cryptominisat

5.11.4 (5.11.4-2)
Trisquel 11.0
aramo/main

cryptominisat

5.8.0 (5.8.0+dfsg1-2)

cryptominisat

5.11.4