Add pycosat.
Merge pull request #5321 from teh/master

Add pycosat.