Pycosat | Anaconda.org

conda-forge / packages / pycosat 0.6.6

0

Bindings to picosat (a SAT solver)

copied from cf-staging / pycosat

Conda
Files
Labels
Badges

License: MIT
Home: https://github.com/conda/pycosat
Development: https://github.com/conda/pycosat
Documentation: https://pypi.python.org/pypi/pycosat
16634903 total downloads
Last upload: 1 year and 1 month ago

Installers

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

linux-64 v0.6.6
win-32 v0.6.3
win-64 v0.6.6
osx-64 v0.6.6
linux-aarch64 v0.6.6
linux-ppc64le v0.6.6
osx-arm64 v0.6.6

conda install

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

Description

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.

conda-forge / packages / pycosat 0.6.6 0

Installers

conda install

Description

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

conda-forge / packages / pycosat 0.6.6

0