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
574.1 kB
|
osx-64/cryptominisat-5.6.8-py37h547e0c7_1.tar.bz2
6 years and 9 months ago
378
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py36h176a8bc_1.tar.bz2
6 years and 9 months ago
4511
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py27h176a8bc_1.tar.bz2
6 years and 9 months ago
4492
main
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.8-py37h176a8bc_1.tar.bz2
6 years and 9 months ago
4614
main
cf202003
conda
567.2 kB
|
osx-64/cryptominisat-5.6.8-py37hf00db70_0.tar.bz2
7 years and 1 month ago
394
main
cf202003
conda
567.4 kB
|
osx-64/cryptominisat-5.6.8-py36hf00db70_0.tar.bz2
7 years and 1 month ago
375
main
cf202003
conda
580.8 kB
|
osx-64/cryptominisat-5.6.8-py27hf00db70_0.tar.bz2
7 years and 1 month ago
382
main
cf202003
conda
6.0 MB
|
linux-64/cryptominisat-5.6.8-py27ha0ae72f_0.tar.bz2
7 years and 1 month ago
4915
main
cf202003
conda
6.0 MB
|
linux-64/cryptominisat-5.6.8-py36ha0ae72f_0.tar.bz2
7 years and 1 month ago
4997
main
cf202003
conda
6.0 MB
|
linux-64/cryptominisat-5.6.8-py37ha0ae72f_0.tar.bz2
7 years and 1 month ago
4948
main
cf202003
conda
567.1 kB
|
osx-64/cryptominisat-5.6.7-py37hf00db70_0.tar.bz2
7 years and 1 month ago
386
main
cf202003
conda
577.7 kB
|
osx-64/cryptominisat-5.6.7-py36hf00db70_0.tar.bz2
7 years and 1 month ago
385
main
cf202003
conda
579.1 kB
|
osx-64/cryptominisat-5.6.7-py27hf00db70_0.tar.bz2
7 years and 1 month ago
383
main
cf202003
conda
5.9 MB
|
linux-64/cryptominisat-5.6.7-py27ha0ae72f_0.tar.bz2
7 years and 1 month ago
4896
main
cf202003
conda
5.9 MB
|
linux-64/cryptominisat-5.6.7-py37ha0ae72f_0.tar.bz2
7 years and 1 month ago
5005
main
cf202003
conda
5.9 MB
|
linux-64/cryptominisat-5.6.7-py36ha0ae72f_0.tar.bz2
7 years and 1 month ago
5024
main
cf202003
conda
564.1 kB
|
osx-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2
7 years and 3 months ago
398
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2
7 years and 3 months ago
5101
main
cf202003
cf201901
conda
553.6 kB
|
osx-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2
7 years and 3 months ago
389
main
cf202003
cf201901
conda
5.9 MB
|
linux-64/cryptominisat-5.6.5-py27ha0ae72f_1000.tar.bz2
7 years and 3 months ago
5138
main
gcc7
cf202003
conda
549.9 kB
|
osx-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2
7 years and 3 months ago
391
main
cf202003
cf201901
conda
5.9 MB
|
linux-64/cryptominisat-5.6.5-py36ha0ae72f_1000.tar.bz2
7 years and 3 months ago
5190
main
gcc7
cf202003
conda
564.9 kB
|
osx-64/cryptominisat-5.6.5-py37hf00db70_1000.tar.bz2
7 years and 3 months ago
398
main
gcc7
cf202003
conda
565.0 kB
|
osx-64/cryptominisat-5.6.5-py36hf00db70_1000.tar.bz2
7 years and 3 months ago
378
main
gcc7
cf202003
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2
7 years and 3 months ago
5209
main
cf202003
cf201901
« Previous
showing 4 of 7
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.16)
Legal
|
Privacy Policy
