pycosat - conda-forge

conda-forge

public

A community led collection of recipes, build infrastructure and distributions for the conda package manager.

Packages

pycosat

v0.6.6

Bindings to picosat (a SAT solver)

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

pixiaddpycosat

micromambainstall-c https://repo.prefix.dev/conda-forgepycosat

Version

0.6.6

Platforms

linux-64

linux-aarch64

linux-ppc64le

osx-64

osx-arm64

win-64

Last published

a month ago

Feedstock

github.com/conda-forge/pycosat-feedstock

Home

github.com/conda/pycosat

Dev

github.com/conda/pycosat

Documentation

pypi.python.org/pypi/pycosat

Feedstock Pull Requests

[NO MERGE] try without sysconfigdata

Retrieving Pull Requests...

Package Variants

Version

Platform

filename	version	build	Created	size	Architecture	Downloads
pycosat-0.6.6-py313h5ea7bf4_3.conda	0.6.6	py313h5ea7bf4_3 (3)	a month ago	77.56 KB	win-64	N/A

Dependencies:
pycosat-0.6.6-py310h7bdd564_3.conda	0.6.6	py310h7bdd564_3 (3)	a month ago	88.01 KB	osx-arm64	N/A

Dependencies:
pycosat-0.6.6-py313h585f44e_3.conda	0.6.6	py313h585f44e_3 (3)	a month ago	94.27 KB	osx-64	N/A

Dependencies:
pycosat-0.6.6-py314h5a2d7ad_3.conda	0.6.6	py314h5a2d7ad_3 (3)	a month ago	77.69 KB	win-64	N/A

Dependencies:
pycosat-0.6.6-py310h29418f3_3.conda	0.6.6	py310h29418f3_3 (3)	a month ago	74.85 KB	win-64	N/A

Dependencies:
pycosat-0.6.6-py311h3696347_3.conda	0.6.6	py311h3696347_3 (3)	a month ago	91.56 KB	osx-arm64	N/A

Dependencies:
pycosat-0.6.6-py310h1b7cace_3.conda	0.6.6	py310h1b7cace_3 (3)	a month ago	91.34 KB	osx-64	N/A

Dependencies:
pycosat-0.6.6-py314h03d016b_3.conda	0.6.6	py314h03d016b_3 (3)	a month ago	94.44 KB	osx-64	N/A

Dependencies:
pycosat-0.6.6-py312h2f459f6_3.conda	0.6.6	py312h2f459f6_3 (3)	a month ago	94.58 KB	osx-64	N/A

Dependencies:
pycosat-0.6.6-py311h13e5629_3.conda	0.6.6	py311h13e5629_3 (3)	a month ago	94.83 KB	osx-64	N/A

Dependencies:
pycosat-0.6.6-py312he06e257_3.conda	0.6.6	py312he06e257_3 (3)	a month ago	77.4 KB	win-64	N/A

Dependencies:
pycosat-0.6.6-py311h3485c13_3.conda	0.6.6	py311h3485c13_3 (3)	a month ago	77.39 KB	win-64	N/A

Dependencies:
pycosat-0.6.6-py313hcdf3177_3.conda	0.6.6	py313hcdf3177_3 (3)	a month ago	90.24 KB	osx-arm64	N/A

Dependencies:
pycosat-0.6.6-py312h163523d_3.conda	0.6.6	py312h163523d_3 (3)	a month ago	90.83 KB	osx-arm64	N/A

Dependencies:
pycosat-0.6.6-py310h7c4b9e2_3.conda	0.6.6	py310h7c4b9e2_3 (3)	a month ago	82.77 KB	linux-64	N/A

Dependencies:
pycosat-0.6.6-py314h5bd0f2a_3.conda	0.6.6	py314h5bd0f2a_3 (3)	a month ago	86.57 KB	linux-64	N/A

Dependencies:
pycosat-0.6.6-py313h07c4f96_3.conda	0.6.6	py313h07c4f96_3 (3)	a month ago	85.83 KB	linux-64	N/A

Dependencies:
pycosat-0.6.6-py312h4c3975b_3.conda	0.6.6	py312h4c3975b_3 (3)	a month ago	86.41 KB	linux-64	N/A

Dependencies:
pycosat-0.6.6-py311h49ec1c0_3.conda	0.6.6	py311h49ec1c0_3 (3)	a month ago	86.42 KB	linux-64	N/A

Dependencies:
pycosat-0.6.6-py314h51f160d_3.conda	0.6.6	py314h51f160d_3 (3)	a month ago	87.4 KB	linux-aarch64	N/A

Dependencies:

Download counts