dimacs: make sure printing a dimacs is fast#1963

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:dimacs-output

Mar 23, 2018

Commits on Mar 22, 2018

dimacs: make sure printing a dimacs is fast

nmanthey
authored and
tautschnig
committed