A community led collection of recipes, build infrastructure and distributions for the conda package manager.
A community led collection of recipes, build infrastructure and distributions for the conda package manager.
pycosat
v0.6.6
Bindings to picosat (a SAT solver)
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:
