CMD + K
ad-testing/libcryptominisat

libcryptominisat

Community

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

Installation

To install this package, run one of the following:

Conda
$conda install ad-testing::libcryptominisat

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:46

License

MIT

Total Downloads

7

Home

https://github.com/msoos/cryptominisat

GitHub Repository

https://github.com/msoos/cryptominisat

Documentation

https://github.com/msoos/cryptominisat