Changelog for python3-pycosat-0.6.1-lp150.1.6.x86_64.rpm :

* Thu Oct 19 2017 toddrme2178AATTgmail.com- Implement single-spec version- Update to version 0.6.1
* fix the initialization of the soliterator type in Py3k, thanks bfroehle
* update picosat from 954 to 957
* add ability of solve and itersolve to take general iterables as clauses arguments, each containing general iterables
* Fri Nov 28 2014 toddrme2178AATTgmail.com- Initial version