lemon/nauty_reader.h
changeset 808 9c428bb2b105
parent 359 0eec1736ff1d