Cryptominisat | Anaconda.org

conda-forge / packages / cryptominisat 5.8.0

0

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

copied from cf-staging / cryptominisat

Conda
Files
Labels
Badges

License: MIT
Home: https://github.com/msoos/cryptominisat
Development: https://github.com/msoos/cryptominisat
267945 total downloads
Last upload: 8 months and 4 days ago

Installers

Info: This package contains files in non-standard labels.

linux-64 v5.8.0
osx-64 v5.8.0

conda install

To install this package run one of the following:
conda install conda-forge::cryptominisat
conda install conda-forge/label/cf201901::cryptominisat
conda install conda-forge/label/cf202003::cryptominisat
conda install conda-forge/label/gcc7::cryptominisat

Description