Вы можете попробовать pngcrush
, но, вероятно, вы получите гораздо большую экономию от преобразования в JPEG со качеством чуть менее 100 (я обычно нахожу 92 довольно хорошим). ImageMagick будет инструментом выбора для массовой обработки.
Мне никогда не удавалось создавать PNG с палитрой, но в принципе они должны быть достаточно эффективными, когда вы имеете дело с иллюстрациями, которые используют только несколько цветов.