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.
AnacondaProserve
/
packages
/
libcryptominisat
5.6.6
0
An advanced SAT Solver
https://www.msoos.org
Conda
Files
Labels
Badges
License: MIT
Home:
https://github.com/msoos/cryptominisat
Development:
https://github.com/msoos/cryptominisat
1
total downloads
Last upload: 5 months and 28 days ago
Installers
linux-64
v5.6.6
conda install
To install this package run one of the following:
conda install anacondaproserve::libcryptominisat
Description
An advanced SAT Solver https://www.msoos.org
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2)
Legal
|
Privacy Policy
