lemon/nauty_reader.h
changeset 611 eda12d8ac953
parent 371 0eec1736ff1d