7-Zip 是一款开源免费的压缩工具，体积小，功能全，压缩效率高。