How to Install Pycosat in Ubuntu?
Solution 1:
From https://stackoverflow.com/a/32030746/486919, run sudo apt-get install python-dev before running pip install pycosat.
Solution 2:
2021 update: to solve this you should actually use the command:
sudo apt-get install python3-dev
... unless you are using python2.