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: cf201901
All
Files with no label
cf201901
cf202003
gcc7
main
Type
Size
Name
Uploaded
Downloads
Labels
conda
564.1 kB
|
osx-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2
6 years and 8 months ago
383
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2
6 years and 8 months ago
4706
main
cf202003
cf201901
conda
553.6 kB
|
osx-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2
6 years and 8 months ago
374
main
cf202003
cf201901
conda
549.9 kB
|
osx-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2
6 years and 8 months ago
377
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2
6 years and 8 months ago
4817
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2
6 years and 8 months ago
4759
main
cf202003
cf201901
conda
557.2 kB
|
osx-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2
7 years and 21 days ago
376
main
cf202003
cf201901
conda
557.3 kB
|
osx-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2
7 years and 21 days ago
383
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2
7 years and 21 days ago
5023
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2
7 years and 21 days ago
5124
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2
7 years and 21 days ago
5271
main
cf202003
cf201901
conda
557.3 kB
|
osx-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2
7 years and 21 days ago
383
main
cf202003
cf201901
conda
554.0 kB
|
osx-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2
7 years and 1 month ago
380
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2
7 years and 1 month ago
5328
main
cf202003
cf201901
conda
554.0 kB
|
osx-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2
7 years and 1 month ago
383
main
cf202003
cf201901
conda
554.0 kB
|
osx-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2
7 years and 1 month ago
371
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2
7 years and 1 month ago
5167
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2
7 years and 1 month ago
5087
main
cf202003
cf201901
conda
553.8 kB
|
osx-64/cryptominisat-5.6.3-py36he941832_0.tar.bz2
7 years and 3 months ago
384
main
cf202003
cf201901
conda
553.7 kB
|
osx-64/cryptominisat-5.6.3-py35he941832_0.tar.bz2
7 years and 3 months ago
378
main
cf202003
cf201901
conda
553.7 kB
|
osx-64/cryptominisat-5.6.3-py27he941832_0.tar.bz2
7 years and 3 months ago
390
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.3-py27he941832_0.tar.bz2
7 years and 3 months ago
5150
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.3-py35he941832_0.tar.bz2
7 years and 3 months ago
5314
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.3-py36he941832_0.tar.bz2
7 years and 3 months ago
5252
main
cf202003
cf201901
conda
553.5 kB
|
osx-64/cryptominisat-5.6.2-py36he941832_0.tar.bz2
7 years and 3 months ago
373
main
cf202003
cf201901
« Previous
showing 0 of 3
Next »
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2)
Legal
|
Privacy Policy
