Adding code from pycosat
Moving along with python wrapper
Adding OS X HOWTO by Jonathan Heusser

Many thanks!