CMD + K
Anaconda-python-gte-3.10/pycryptosat

pycryptosat

Community

An advanced SAT Solver https://www.msoos.org

Installation

To install this package, run one of the following:

Conda
$conda install anaconda-python-gte-3.10::pycryptosat

Usage Tracking

5.6.6
1 / 8 versions selected
Downloads (Last 6 months): 0

Description

An advanced SAT Solver https://www.msoos.org

About

Summary

An advanced SAT Solver https://www.msoos.org

Last Updated

Mar 31, 2025 at 23:21

License

MIT

Total Downloads

7

Version Downloads

7

Supported Platforms

linux-64

Home

https://github.com/msoos/cryptominisat

GitHub Repository

https://github.com/msoos/cryptominisat