lemon/nauty_reader.h
changeset 872 41d7ac528c3a
parent 359 0eec1736ff1d