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

libcryptominisat

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

Mar 31, 2025 at 22:13

License

MIT

Total Downloads

5

Version Downloads

5

Supported Platforms

linux-64

Home

https://github.com/msoos/cryptominisat

GitHub Repository

https://github.com/msoos/cryptominisat