2013-03-27   0.4.0:
-------------------
  * allow keyword arguments to pycosat.solve and pycosat.itersolve
  * add ability to set propagation limit
  * fixed some bugs which were causing segfaults


2013-03-26   0.3.0:
-------------------
  * add solution iterator (pycosat.itersolve)
  * make number of variables optional argument


2013-03-25   0.2.0:
-------------------
  * fixed MSVC compiler problems
  * use Python memory manager in picosat
  * release GIL during main picosat computation


2013-03-24   0.1.0:
-------------------
  * initial pre-alpha release
