About Anaconda Help Download Anaconda

Bindings to picosat (a SAT solver)

copied from conda-forge / pycosat
  • License: MIT
  • 1200940 total downloads
  • Last upload: 5 years and 9 months ago

Installers

  • linux-64 v0.6.3
  • osx-64 v0.6.3
  • win-64 v0.6.3
  • win-32 v0.6.3
  • linux-aarch64 v0.6.3
  • linux-ppc64le v0.6.3

conda install

To install this package run one of the following:
conda install quansight-small-test::pycosat

Description

None

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