ContinuumIO/pycosat — pull request #2 by bfroehle (2013-05-27 23:43:17+00:00)
Title: Fix the initialization of the soliterator type.

In Python 3, the type of `soliterator` was incorrectly being set to
`soliterator` itself, rather than just `type`. In addition, we were forgetting
to call PyType_Ready.