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.
ad-testing
/
packages
/
cryptominisat
0
An advanced SAT Solver
https://www.msoos.org
Conda
Files
Labels
Badges
Error
No files were selected
×
Filters
Type: All
All
conda
Version: All
All
5.6.6
Label: All
All
Files with no label
py314
Type
Size
Name
Uploaded
Downloads
Labels
conda
452.1 kB
|
win-64/cryptominisat-5.6.6-h60dcfdc_4.tar.bz2
13 days and 3 hours ago
0
py314
conda
959.8 kB
|
linux-aarch64/cryptominisat-5.6.6-hacaa9b1_4.tar.bz2
13 days and 3 hours ago
0
py314
conda
983.9 kB
|
linux-64/cryptominisat-5.6.6-h8ffd1c4_4.tar.bz2
13 days and 4 hours ago
0
py314
conda
773.7 kB
|
linux-64/cryptominisat-5.6.6-h8ffd1c4_4.conda
13 days and 4 hours ago
0
py314
conda
757.4 kB
|
linux-aarch64/cryptominisat-5.6.6-hacaa9b1_4.conda
13 days and 5 hours ago
0
py314
conda
386.2 kB
|
win-64/cryptominisat-5.6.6-h60dcfdc_4.conda
13 days and 5 hours ago
0
py314
conda
105.7 kB
|
osx-arm64/cryptominisat-5.6.6-ha31824d_4.tar.bz2
13 days and 6 hours ago
0
py314
conda
88.2 kB
|
osx-arm64/cryptominisat-5.6.6-ha31824d_4.conda
13 days and 6 hours ago
0
py314
« Previous
showing 1 of 1
Next »
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2)
Legal
|
Privacy Policy
