lemon/nauty_reader.h
changeset 700 6f7c1052d260
parent 359 0eec1736ff1d