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
Total downloads: 0

Description

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

About

Summary

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

Information Last Updated

Sep 8, 2025 at 17:25

License

MIT

Total Downloads

7

Home

https://github.com/msoos/cryptominisat

GitHub Repository

https://github.com/msoos/cryptominisat

Documentation

https://github.com/msoos/cryptominisat