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.
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: All
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
1 year and 11 months ago
613
main
conda
544.6 kB
|
osx-64/cryptominisat-5.8.0-py310he18e62a_3.conda
1 year and 11 months ago
587
main
conda
545.1 kB
|
osx-64/cryptominisat-5.8.0-py311hcb21608_3.conda
1 year and 11 months ago
589
main
conda
546.8 kB
|
osx-64/cryptominisat-5.8.0-py38h0f667b6_3.conda
1 year and 11 months ago
610
main
conda
577.6 kB
|
linux-64/cryptominisat-5.8.0-py38h40af590_3.conda
1 year and 11 months ago
2026
main
conda
577.5 kB
|
linux-64/cryptominisat-5.8.0-py39hebe7e3d_3.conda
1 year and 11 months ago
2020
main
conda
508.5 kB
|
linux-64/cryptominisat-5.8.0-py310h5aff6b2_3.conda
1 year and 11 months ago
2106
main
conda
509.5 kB
|
linux-64/cryptominisat-5.8.0-py311h3581ac3_3.conda
1 year and 11 months ago
2117
main
conda
567.3 kB
|
osx-64/cryptominisat-5.8.0-py39h642dc6f_2.conda
2 years and 5 months ago
600
main
conda
565.6 kB
|
osx-64/cryptominisat-5.8.0-py311h568df67_2.conda
2 years and 5 months ago
562
main
conda
565.5 kB
|
osx-64/cryptominisat-5.8.0-py310hc7e2060_2.conda
2 years and 5 months ago
596
main
conda
565.8 kB
|
osx-64/cryptominisat-5.8.0-py38h50bf175_2.conda
2 years and 5 months ago
564
main
conda
509.5 kB
|
linux-64/cryptominisat-5.8.0-py310he5dd035_2.conda
2 years and 5 months ago
2104
main
conda
577.7 kB
|
linux-64/cryptominisat-5.8.0-py38h2a962c2_2.conda
2 years and 5 months ago
2021
main
conda
509.9 kB
|
linux-64/cryptominisat-5.8.0-py311h597d2cd_2.conda
2 years and 5 months ago
2103
main
conda
575.8 kB
|
linux-64/cryptominisat-5.8.0-py39h1a3a448_2.conda
2 years and 5 months ago
2187
main
conda
586.8 kB
|
osx-64/cryptominisat-5.8.0-py38hafef7a7_1.tar.bz2
4 years and 4 months ago
144
main
conda
588.2 kB
|
osx-64/cryptominisat-5.8.0-py310h418234e_1.tar.bz2
4 years and 4 months ago
115
main
conda
601.3 kB
|
osx-64/cryptominisat-5.8.0-py39hdf0219e_1.tar.bz2
4 years and 4 months ago
359
main
conda
587.1 kB
|
osx-64/cryptominisat-5.8.0-py37hb8dddd4_1.tar.bz2
4 years and 4 months ago
99
main
conda
666.8 kB
|
linux-64/cryptominisat-5.8.0-py310h498eb00_1.tar.bz2
4 years and 4 months ago
3253
main
conda
667.8 kB
|
linux-64/cryptominisat-5.8.0-py38h0750f31_1.tar.bz2
4 years and 4 months ago
2811
main
conda
666.7 kB
|
linux-64/cryptominisat-5.8.0-py37haaa77d3_1.tar.bz2
4 years and 4 months ago
2624
main
conda
666.6 kB
|
linux-64/cryptominisat-5.8.0-py39hcf67cbd_1.tar.bz2
4 years and 4 months ago
3482
main
conda
585.2 kB
|
osx-64/cryptominisat-5.8.0-py36h4b31d39_0.tar.bz2
4 years and 11 months ago
220
main
« Previous
showing 1 of 7
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.15)
Legal
|
Privacy Policy
