About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

tballance / packages / pycosat 0.6.1

Bindings to picosat (a SAT solver)

  • License: MIT
  • 23 total downloads
  • Last upload: 7 years and 10 months ago

Installers

  • linux-armv7l v0.6.1

conda install

To install this package run one of the following:
conda install tballance::pycosat

Description

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