Menu
About
Anaconda
Help
Download Anaconda
Sign In
Anaconda.com
A new user experience is coming soon! These rolling changes are ongoing and some pages will still have the old user interface.
If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication.
×
conda-forge
/
packages
/
cryptominisat
0
An advanced SAT Solver
https://www.msoos.org
copied from
cf-staging /
cryptominisat
Conda
Files
Labels
Badges
Error
No files were selected
×
Filters
Type: All
All
conda
Version: 5.8.0
All
5.8.0
5.6.8
5.6.7
5.6.5
5.6.4
5.6.3
5.6.2
5.6.1
5.6.0
5.0.2
Label: All
All
Files with no label
cf201901
cf202003
gcc7
main
Type
Size
Name
Uploaded
Downloads
Labels
conda
546.1 kB
|
osx-64/cryptominisat-5.8.0-py39hb10e792_3.conda
2 years and 1 month ago
616
main
conda
544.6 kB
|
osx-64/cryptominisat-5.8.0-py310he18e62a_3.conda
2 years and 1 month ago
590
main
conda
545.1 kB
|
osx-64/cryptominisat-5.8.0-py311hcb21608_3.conda
2 years and 1 month ago
593
main
conda
546.8 kB
|
osx-64/cryptominisat-5.8.0-py38h0f667b6_3.conda
2 years and 1 month ago
614
main
conda
577.6 kB
|
linux-64/cryptominisat-5.8.0-py38h40af590_3.conda
2 years and 1 month ago
2159
main
conda
577.5 kB
|
linux-64/cryptominisat-5.8.0-py39hebe7e3d_3.conda
2 years and 1 month ago
2138
main
conda
508.5 kB
|
linux-64/cryptominisat-5.8.0-py310h5aff6b2_3.conda
2 years and 1 month ago
2237
main
conda
509.5 kB
|
linux-64/cryptominisat-5.8.0-py311h3581ac3_3.conda
2 years and 1 month ago
2255
main
conda
567.3 kB
|
osx-64/cryptominisat-5.8.0-py39h642dc6f_2.conda
2 years and 7 months ago
604
main
conda
565.6 kB
|
osx-64/cryptominisat-5.8.0-py311h568df67_2.conda
2 years and 7 months ago
569
main
conda
565.5 kB
|
osx-64/cryptominisat-5.8.0-py310hc7e2060_2.conda
2 years and 7 months ago
606
main
conda
565.8 kB
|
osx-64/cryptominisat-5.8.0-py38h50bf175_2.conda
2 years and 7 months ago
570
main
conda
509.5 kB
|
linux-64/cryptominisat-5.8.0-py310he5dd035_2.conda
2 years and 7 months ago
2227
main
conda
577.7 kB
|
linux-64/cryptominisat-5.8.0-py38h2a962c2_2.conda
2 years and 7 months ago
2136
main
conda
509.9 kB
|
linux-64/cryptominisat-5.8.0-py311h597d2cd_2.conda
2 years and 7 months ago
2230
main
conda
575.8 kB
|
linux-64/cryptominisat-5.8.0-py39h1a3a448_2.conda
2 years and 7 months ago
2327
main
conda
586.8 kB
|
osx-64/cryptominisat-5.8.0-py38hafef7a7_1.tar.bz2
4 years and 6 months ago
145
main
conda
588.2 kB
|
osx-64/cryptominisat-5.8.0-py310h418234e_1.tar.bz2
4 years and 6 months ago
116
main
conda
601.3 kB
|
osx-64/cryptominisat-5.8.0-py39hdf0219e_1.tar.bz2
4 years and 6 months ago
360
main
conda
587.1 kB
|
osx-64/cryptominisat-5.8.0-py37hb8dddd4_1.tar.bz2
4 years and 6 months ago
100
main
conda
666.8 kB
|
linux-64/cryptominisat-5.8.0-py310h498eb00_1.tar.bz2
4 years and 6 months ago
3373
main
conda
667.8 kB
|
linux-64/cryptominisat-5.8.0-py38h0750f31_1.tar.bz2
4 years and 6 months ago
2921
main
conda
666.7 kB
|
linux-64/cryptominisat-5.8.0-py37haaa77d3_1.tar.bz2
4 years and 6 months ago
2738
main
conda
666.6 kB
|
linux-64/cryptominisat-5.8.0-py39hcf67cbd_1.tar.bz2
4 years and 6 months ago
3592
main
conda
585.2 kB
|
osx-64/cryptominisat-5.8.0-py36h4b31d39_0.tar.bz2
5 years and 1 month ago
222
main
« Previous
showing 1 of 2
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18)
Legal
|
Privacy Policy
