1. /
  3. channels
  4. /
  6. conda-forge
  7. /
  8. conda-forge
  9. /
  10. pycosat
conda-forge
conda-forge
public
34.6k
A community led collection of recipes, build infrastructure and distributions for the conda package manager.
Package icon
pycosat
v0.6.6
Bindings to picosat (a SAT solver)

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.

Install package

If this channel isn't in your workspace yet, add it first:

pixi workspace channel add --prepend https://prefix.dev/conda-forge

Then install the package:

pixi add pycosat

Install globally (CLI tools)

For packages that expose command-line tools, install globally to use them anywhere:

pixi global install --channel https://prefix.dev/conda-forge pycosat

Download counts

Loading chart data...

Version

0.6.6

License

Platforms

linux-64
linux-aarch64
linux-ppc64le
osx-64
osx-arm64
win-64
win-arm64
linux-riscv64

Last Published

3 days ago

Feedstock

Homepage

Dev

Documentation

Open Pull Requests

  •  
  •  
  •  
pycosat - conda-forge