lemon/nauty_reader.h
changeset 858 9f6ed854d409
parent 359 0eec1736ff1d