lemon/nauty_reader.h
changeset 579 114920bd21ef
parent 359 0eec1736ff1d