About Anaconda Help Download Anaconda

main / packages / pycryptosat 5.6.6

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

Installers

  • linux-64 v5.6.6
  • linux-ppc64le v5.6.6
  • osx-64 v5.6.6
  • win-32 v5.6.6
  • win-64 v5.6.6
  • linux-aarch64 v5.6.6
  • osx-arm64 v5.6.6
  • linux-s390x v5.6.6

conda install

To install this package run one of the following:
conda install main::pycryptosat

Description

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


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