Add the pycosat package