src/include/dimacs.h
changeset 535 bd79aa43f299
parent 528 c00f6ebbe1e6