Projects Tagged ‘compression’

Compressed file format for CNF formulas, often orders of magnitude smaller than compressed DIMACS CNF.

4k executable packer for 32-bit x86 Macs running on OS X 10.5