Add pycosat.