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
6.3 MB
|
linux-64/cryptominisat-5.6.2-py36he941832_0.tar.bz2
7 years and 10 months ago
5790
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.2-py27he941832_0.tar.bz2
7 years and 10 months ago
5527
main
cf202003
cf201901
conda
548.3 kB
|
osx-64/cryptominisat-5.6.1-py36he941832_0.tar.bz2
7 years and 10 months ago
396
main
cf202003
cf201901
conda
547.5 kB
|
osx-64/cryptominisat-5.6.1-py35he941832_0.tar.bz2
7 years and 10 months ago
400
main
cf202003
cf201901
conda
548.5 kB
|
osx-64/cryptominisat-5.6.1-py27he941832_0.tar.bz2
7 years and 10 months ago
402
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.1-py36he941832_0.tar.bz2
7 years and 10 months ago
5737
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.1-py35he941832_0.tar.bz2
7 years and 10 months ago
5747
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.1-py27he941832_0.tar.bz2
7 years and 10 months ago
5577
main
cf202003
cf201901
conda
549.7 kB
|
osx-64/cryptominisat-5.6.0-py36he941832_0.tar.bz2
7 years and 10 months ago
409
main
cf202003
cf201901
conda
549.9 kB
|
osx-64/cryptominisat-5.6.0-py27he941832_0.tar.bz2
7 years and 10 months ago
381
main
cf202003
cf201901
conda
549.0 kB
|
osx-64/cryptominisat-5.6.0-py35he941832_0.tar.bz2
7 years and 10 months ago
380
main
cf202003
cf201901
conda
6.4 MB
|
linux-64/cryptominisat-5.6.0-py35he941832_0.tar.bz2
7 years and 10 months ago
5682
main
cf202003
cf201901
conda
6.4 MB
|
linux-64/cryptominisat-5.6.0-py36he941832_0.tar.bz2
7 years and 10 months ago
5717
main
cf202003
cf201901
conda
6.4 MB
|
linux-64/cryptominisat-5.6.0-py27he941832_0.tar.bz2
7 years and 10 months ago
5606
main
cf202003
cf201901
conda
537.9 kB
|
osx-64/cryptominisat-5.0.2-py36_1.tar.bz2
8 years and 7 days ago
2801
main
cf202003
cf201901
conda
527.6 kB
|
osx-64/cryptominisat-5.0.2-py27_1.tar.bz2
8 years and 7 days ago
2781
main
cf202003
cf201901
conda
537.7 kB
|
osx-64/cryptominisat-5.0.2-py35_1.tar.bz2
8 years and 7 days ago
2875
main
cf202003
cf201901
conda
6.5 MB
|
linux-64/cryptominisat-5.0.2-py35_1.tar.bz2
8 years and 7 days ago
8311
main
cf202003
cf201901
conda
6.5 MB
|
linux-64/cryptominisat-5.0.2-py36_1.tar.bz2
8 years and 7 days ago
8571
main
cf202003
cf201901
conda
6.4 MB
|
linux-64/cryptominisat-5.0.2-py27_1.tar.bz2
8 years and 7 days ago
8445
main
cf202003
cf201901
conda
537.9 kB
|
osx-64/cryptominisat-5.0.2-py36_0.tar.bz2
8 years and 1 month ago
2763
main
cf202003
cf201901
conda
538.0 kB
|
osx-64/cryptominisat-5.0.2-py35_0.tar.bz2
8 years and 1 month ago
2845
main
cf202003
cf201901
conda
528.6 kB
|
osx-64/cryptominisat-5.0.2-py27_0.tar.bz2
8 years and 1 month ago
2755
main
cf202003
cf201901
conda
6.4 MB
|
linux-64/cryptominisat-5.0.2-py27_0.tar.bz2
8 years and 1 month ago
8293
main
cf202003
cf201901
conda
6.5 MB
|
linux-64/cryptominisat-5.0.2-py35_0.tar.bz2
8 years and 1 month ago
8313
main
cf202003
cf201901
« Previous
showing 6 of 7
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.16)
Legal
|
Privacy Policy
