Libcryptominisat | Anaconda.org

Anaconda-python-gte-3.10 / packages / libcryptominisat 5.6.6

0

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

License: MIT
Home: https://github.com/msoos/cryptominisat
Development: https://github.com/msoos/cryptominisat
0 total downloads
Last upload: 6 months and 5 days ago

Installers

linux-64 v5.6.6

conda install

To install this package run one of the following:
conda install anaconda-python-gte-3.10::libcryptominisat

Description

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

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy