Just check if PYCOSAT is defined