2. /
  3. channels
  4. /
  5. conda-forge
  6. /
  7. pycosat
conda-forge
conda-forge
public
31.2k
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)

Install with Pixi

pixi add pycosat

Install with conda

conda install -c https://prefix.dev/conda-forge 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.

Download counts

Loading chart data...

Version

0.6.6

License

Platforms

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

Last Published

3 months ago

Feedstock

Homepage

Dev

Documentation

Open Pull Requests

  •  
  •  
  •  
Package Variants
Version
Build
Created
Size
Architecture
Downloads
pycosat-0.6.6-py312h4c3975b_3.conda
0.6.6
py312h4c3975b_3 (3)
3 months ago
86.41 KB
linux-64
N/A
pycosat-0.6.6-py311h49ec1c0_3.conda
0.6.6
py311h49ec1c0_3 (3)
3 months ago
86.42 KB
linux-64
N/A
pycosat-0.6.6-py310h7c4b9e2_3.conda
0.6.6
py310h7c4b9e2_3 (3)
3 months ago
82.77 KB
linux-64
N/A
pycosat-0.6.6-py310h1b7cace_3.conda
0.6.6
py310h1b7cace_3 (3)
3 months ago
91.34 KB
osx-64
N/A
pycosat-0.6.6-py314h03d016b_3.conda
0.6.6
py314h03d016b_3 (3)
3 months ago
94.44 KB
osx-64
N/A
pycosat-0.6.6-py313h585f44e_3.conda
0.6.6
py313h585f44e_3 (3)
3 months ago
94.27 KB
osx-64
N/A
pycosat-0.6.6-py312h2f459f6_3.conda
0.6.6
py312h2f459f6_3 (3)
3 months ago
94.58 KB
osx-64
N/A
pycosat-0.6.6-py311h13e5629_3.conda
0.6.6
py311h13e5629_3 (3)
3 months ago
94.83 KB
osx-64
N/A
pycosat-0.6.6-py314h5bd0f2a_3.conda
0.6.6
py314h5bd0f2a_3 (3)
3 months ago
86.57 KB
linux-64
N/A
pycosat-0.6.6-py313h07c4f96_3.conda
0.6.6
py313h07c4f96_3 (3)
3 months ago
85.83 KB
linux-64
N/A