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
588.5 kB
|
osx-64/cryptominisat-5.6.8-py38h1d70264_3.tar.bz2
5 years and 6 months ago
337
main
conda
584.1 kB
|
osx-64/cryptominisat-5.6.8-py38h26a761f_3.tar.bz2
5 years and 6 months ago
340
main
conda
576.3 kB
|
osx-64/cryptominisat-5.6.8-py36h695bc63_3.tar.bz2
5 years and 6 months ago
354
main
conda
575.8 kB
|
osx-64/cryptominisat-5.6.8-py37h0033c41_3.tar.bz2
5 years and 6 months ago
353
main
conda
5.9 MB
|
linux-64/cryptominisat-5.6.8-py38h5e74f7f_3.tar.bz2
5 years and 6 months ago
3430
main
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py38he3216b4_3.tar.bz2
5 years and 6 months ago
3449
main
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py37h65bae40_3.tar.bz2
5 years and 6 months ago
3473
main
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py36h3734d64_3.tar.bz2
5 years and 6 months ago
3445
main
conda
5.9 MB
|
linux-64/cryptominisat-5.6.8-py37h9cd63b4_3.tar.bz2
5 years and 6 months ago
3416
main
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py36h87d53cf_3.tar.bz2
5 years and 6 months ago
3470
main
conda
591.9 kB
|
osx-64/cryptominisat-5.6.8-py38h165742e_2.tar.bz2
6 years and 1 month ago
349
main
cf202003
conda
578.4 kB
|
osx-64/cryptominisat-5.6.8-py36h165742e_2.tar.bz2
6 years and 1 month ago
356
main
cf202003
conda
591.2 kB
|
osx-64/cryptominisat-5.6.8-py27h165742e_2.tar.bz2
6 years and 1 month ago
354
main
cf202003
conda
591.2 kB
|
osx-64/cryptominisat-5.6.8-py37h165742e_2.tar.bz2
6 years and 1 month ago
350
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py38h50e5661_2.tar.bz2
6 years and 1 month ago
3961
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py27h50e5661_2.tar.bz2
6 years and 1 month ago
3744
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py36h50e5661_2.tar.bz2
6 years and 1 month ago
3899
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py37h50e5661_2.tar.bz2
6 years and 1 month ago
3865
main
cf202003
conda
580.3 kB
|
osx-64/cryptominisat-5.6.8-py36h7eed37d_1.tar.bz2
6 years and 5 months ago
383
main
cf202003
conda
599.6 kB
|
osx-64/cryptominisat-5.6.8-py38h7eed37d_1.tar.bz2
6 years and 5 months ago
383
main
cf202003
conda
590.9 kB
|
osx-64/cryptominisat-5.6.8-py27h7eed37d_1.tar.bz2
6 years and 5 months ago
375
main
cf202003
conda
576.6 kB
|
osx-64/cryptominisat-5.6.8-py37h7eed37d_1.tar.bz2
6 years and 5 months ago
384
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py38h176a8bc_1.tar.bz2
6 years and 5 months ago
4610
main
cf202003
conda
574.7 kB
|
osx-64/cryptominisat-5.6.8-py36h547e0c7_1.tar.bz2
6 years and 9 months ago
370
main
cf202003
conda
563.9 kB
|
osx-64/cryptominisat-5.6.8-py27h547e0c7_1.tar.bz2
6 years and 9 months ago
377
main
cf202003
« Previous
showing 3 of 7
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.16)
Legal
|
Privacy Policy
