SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for python310-pycosat-0.6.1-2.43.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
 
ICM