lemon/nauty_reader.h
changeset 768 0a42883c8221
parent 359 0eec1736ff1d