src/include/dimacs.h
changeset 536 c050de070935
parent 528 c00f6ebbe1e6