The start of dimacs file format support for benchmarking
Merge