lemon/nauty_reader.h
changeset 590 b61354458b59
parent 359 0eec1736ff1d