lemon/nauty_reader.h
changeset 656 cb38ccedd2c1
parent 359 0eec1736ff1d