Menu
About
Anaconda
Help
Download Anaconda
Sign In
Anaconda.com
2025 Python Packaging Survey is now live!
Take the survey now
New Authentication Rolling Out
- We're upgrading our sign-in process to give you one account across all Anaconda products! Browser users will see a refreshed sign-in flow, while CLI users will experience no changes.
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.6.8
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
575.6 kB
|
osx-64/cryptominisat-5.6.8-py39h902a95f_4.tar.bz2
4 years and 11 months ago
302
main
conda
567.2 kB
|
osx-64/cryptominisat-5.6.8-py37h4982200_4.tar.bz2
4 years and 11 months ago
291
main
conda
581.7 kB
|
osx-64/cryptominisat-5.6.8-py36hd3a544c_4.tar.bz2
4 years and 11 months ago
305
main
conda
570.4 kB
|
osx-64/cryptominisat-5.6.8-py39h29ac329_4.tar.bz2
4 years and 11 months ago
290
main
conda
588.1 kB
|
osx-64/cryptominisat-5.6.8-py36h695bc63_4.tar.bz2
4 years and 11 months ago
302
main
conda
576.1 kB
|
osx-64/cryptominisat-5.6.8-py37h0033c41_4.tar.bz2
4 years and 11 months ago
303
main
conda
570.9 kB
|
osx-64/cryptominisat-5.6.8-py38h26a761f_4.tar.bz2
4 years and 11 months ago
882
main
conda
576.5 kB
|
osx-64/cryptominisat-5.6.8-py38h1d70264_4.tar.bz2
4 years and 11 months ago
300
main
conda
5.9 MB
|
linux-64/cryptominisat-5.6.8-py38h5e74f7f_4.tar.bz2
4 years and 11 months ago
2896
main
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py37h65bae40_4.tar.bz2
4 years and 11 months ago
2927
main
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py39h3bb5f65_4.tar.bz2
4 years and 11 months ago
3491
main
conda
5.9 MB
|
linux-64/cryptominisat-5.6.8-py39h676fd8f_4.tar.bz2
4 years and 11 months ago
3531
main
conda
5.9 MB
|
linux-64/cryptominisat-5.6.8-py37h9cd63b4_4.tar.bz2
4 years and 11 months ago
2957
main
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py38he3216b4_4.tar.bz2
4 years and 11 months ago
3316
main
conda
5.9 MB
|
linux-64/cryptominisat-5.6.8-py36h3734d64_4.tar.bz2
4 years and 11 months ago
2977
main
conda
5.9 MB
|
linux-64/cryptominisat-5.6.8-py36h87d53cf_4.tar.bz2
4 years and 11 months ago
2978
main
conda
570.8 kB
|
osx-64/cryptominisat-5.6.8-py37h4982200_3.tar.bz2
5 years and 15 days ago
349
main
conda
582.0 kB
|
osx-64/cryptominisat-5.6.8-py36hd3a544c_3.tar.bz2
5 years and 15 days ago
335
main
conda
588.5 kB
|
osx-64/cryptominisat-5.6.8-py38h1d70264_3.tar.bz2
5 years and 15 days ago
323
main
conda
584.1 kB
|
osx-64/cryptominisat-5.6.8-py38h26a761f_3.tar.bz2
5 years and 15 days ago
326
main
conda
576.3 kB
|
osx-64/cryptominisat-5.6.8-py36h695bc63_3.tar.bz2
5 years and 15 days ago
339
main
conda
575.8 kB
|
osx-64/cryptominisat-5.6.8-py37h0033c41_3.tar.bz2
5 years and 15 days ago
338
main
conda
5.9 MB
|
linux-64/cryptominisat-5.6.8-py38h5e74f7f_3.tar.bz2
5 years and 15 days ago
3041
main
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py38he3216b4_3.tar.bz2
5 years and 15 days ago
3066
main
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py37h65bae40_3.tar.bz2
5 years and 15 days ago
3082
main
« Previous
showing 0 of 3
Next »
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2)
Legal
|
Privacy Policy
