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: 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: cf202003
All
Files with no label
cf201901
cf202003
gcc7
main
Type
Size
Name
Uploaded
Downloads
Labels
conda
591.9 kB
|
osx-64/cryptominisat-5.6.8-py38h165742e_2.tar.bz2
5 years and 7 months ago
335
main
cf202003
conda
578.4 kB
|
osx-64/cryptominisat-5.6.8-py36h165742e_2.tar.bz2
5 years and 7 months ago
341
main
cf202003
conda
591.2 kB
|
osx-64/cryptominisat-5.6.8-py27h165742e_2.tar.bz2
5 years and 7 months ago
342
main
cf202003
conda
591.2 kB
|
osx-64/cryptominisat-5.6.8-py37h165742e_2.tar.bz2
5 years and 7 months ago
335
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py38h50e5661_2.tar.bz2
5 years and 7 months ago
3577
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py27h50e5661_2.tar.bz2
5 years and 7 months ago
3388
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py36h50e5661_2.tar.bz2
5 years and 7 months ago
3515
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py37h50e5661_2.tar.bz2
5 years and 7 months ago
3488
main
cf202003
conda
580.3 kB
|
osx-64/cryptominisat-5.6.8-py36h7eed37d_1.tar.bz2
5 years and 10 months ago
369
main
cf202003
conda
599.6 kB
|
osx-64/cryptominisat-5.6.8-py38h7eed37d_1.tar.bz2
5 years and 10 months ago
369
main
cf202003
conda
590.9 kB
|
osx-64/cryptominisat-5.6.8-py27h7eed37d_1.tar.bz2
5 years and 10 months ago
360
main
cf202003
conda
576.6 kB
|
osx-64/cryptominisat-5.6.8-py37h7eed37d_1.tar.bz2
5 years and 10 months ago
368
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py38h176a8bc_1.tar.bz2
5 years and 10 months ago
4196
main
cf202003
conda
574.7 kB
|
osx-64/cryptominisat-5.6.8-py36h547e0c7_1.tar.bz2
6 years and 3 months ago
356
main
cf202003
conda
563.9 kB
|
osx-64/cryptominisat-5.6.8-py27h547e0c7_1.tar.bz2
6 years and 3 months ago
362
main
cf202003
conda
574.1 kB
|
osx-64/cryptominisat-5.6.8-py37h547e0c7_1.tar.bz2
6 years and 3 months ago
362
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py36h176a8bc_1.tar.bz2
6 years and 3 months ago
4117
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py27h176a8bc_1.tar.bz2
6 years and 3 months ago
4104
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py37h176a8bc_1.tar.bz2
6 years and 3 months ago
4223
main
cf202003
conda
567.2 kB
|
osx-64/cryptominisat-5.6.8-py37hf00db70_0.tar.bz2
6 years and 7 months ago
378
main
cf202003
conda
567.4 kB
|
osx-64/cryptominisat-5.6.8-py36hf00db70_0.tar.bz2
6 years and 7 months ago
361
main
cf202003
conda
580.8 kB
|
osx-64/cryptominisat-5.6.8-py27hf00db70_0.tar.bz2
6 years and 7 months ago
368
main
cf202003
conda
6.0 MB
|
linux-64/cryptominisat-5.6.8-py27ha0ae72f_0.tar.bz2
6 years and 7 months ago
4522
main
cf202003
conda
6.0 MB
|
linux-64/cryptominisat-5.6.8-py36ha0ae72f_0.tar.bz2
6 years and 7 months ago
4628
main
cf202003
conda
6.0 MB
|
linux-64/cryptominisat-5.6.8-py37ha0ae72f_0.tar.bz2
6 years and 7 months ago
4581
main
cf202003
« Previous
showing 1 of 4
Next »
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2)
Legal
|
Privacy Policy
