"ZX7" is an optimal LZ77/LZSS data compressor for all platforms, including the ZX-Spectrum.
Available implementations of standard LZ77/LZSS compression algorithm use either a "greedy" or "flexible parsing" strategy, that cannot always guarantee the best possible encoding. In comparison, "ZX7" provides a highly efficient compression algorithm that always generate perfectly optimal LZ77/LZSS encoding. Technically it means compressing within space and time O(n) only.