Bindings to picosat (a SAT solver)
conda install prometeia::pycosat
conda install prometeia/label/external::pycosat