Traitgraph DIMACS-IO

Functions to read and write graphs in DIMACS format.