CMD + K
ad-testing/cryptominisat

cryptominisat

Community

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

Installation

To install this package, run one of the following:

Conda
$conda install ad-testing::cryptominisat

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

Sep 8, 2025 at 14:37

License

MIT

Total Downloads

9

Home

https://github.com/msoos/cryptominisat

GitHub Repository

https://github.com/msoos/cryptominisat

Documentation

https://github.com/msoos/cryptominisat