About Anaconda Help Download Anaconda

conda-forge / packages / cryptominisat 5.8.0

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

copied from cf-staging / cryptominisat

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

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


© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy