Changelog for satsolver-tools-0.16.2-4.2.i686.rpm :
(none)