lemon/nauty_reader.h
changeset 620 c3ce597c11ae
parent 359 0eec1736ff1d