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
563.2 kB
|
osx-64/cryptominisat-5.6.5-py27hf00db70_1000.tar.bz2
7 years and 3 months ago
396
main
gcc7
cf202003
conda
5.8 MB
|
linux-64/cryptominisat-5.6.5-py37ha0ae72f_1000.tar.bz2
7 years and 3 months ago
5117
main
gcc7
cf202003
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2
7 years and 3 months ago
5151
main
cf202003
cf201901
conda
557.2 kB
|
osx-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2
7 years and 7 months ago
390
main
cf202003
cf201901
conda
557.3 kB
|
osx-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2
7 years and 7 months ago
400
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2
7 years and 7 months ago
5408
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2
7 years and 7 months ago
5508
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2
7 years and 7 months ago
5668
main
cf202003
cf201901
conda
557.3 kB
|
osx-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2
7 years and 7 months ago
401
main
cf202003
cf201901
conda
554.0 kB
|
osx-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2
7 years and 8 months ago
394
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2
7 years and 8 months ago
5721
main
cf202003
cf201901
conda
554.0 kB
|
osx-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2
7 years and 8 months ago
398
main
cf202003
cf201901
conda
554.0 kB
|
osx-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2
7 years and 8 months ago
386
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2
7 years and 8 months ago
5528
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2
7 years and 8 months ago
5476
main
cf202003
cf201901
conda
553.8 kB
|
osx-64/cryptominisat-5.6.3-py36he941832_0.tar.bz2
7 years and 9 months ago
400
main
cf202003
cf201901
conda
553.7 kB
|
osx-64/cryptominisat-5.6.3-py35he941832_0.tar.bz2
7 years and 9 months ago
396
main
cf202003
cf201901
conda
553.7 kB
|
osx-64/cryptominisat-5.6.3-py27he941832_0.tar.bz2
7 years and 9 months ago
408
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.3-py27he941832_0.tar.bz2
7 years and 9 months ago
5552
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.3-py35he941832_0.tar.bz2
7 years and 9 months ago
5716
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.3-py36he941832_0.tar.bz2
7 years and 9 months ago
5634
main
cf202003
cf201901
conda
553.5 kB
|
osx-64/cryptominisat-5.6.2-py36he941832_0.tar.bz2
7 years and 9 months ago
390
main
cf202003
cf201901
conda
553.6 kB
|
osx-64/cryptominisat-5.6.2-py27he941832_0.tar.bz2
7 years and 9 months ago
385
main
cf202003
cf201901
conda
553.6 kB
|
osx-64/cryptominisat-5.6.2-py35he941832_0.tar.bz2
7 years and 9 months ago
392
main
cf202003
cf201901
conda
6.3 MB
|
linux-64/cryptominisat-5.6.2-py35he941832_0.tar.bz2
7 years and 9 months ago
5640
main
cf202003
cf201901
« Previous
showing 5 of 7
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.16)
Legal
|
Privacy Policy
