lemon/nauty_reader.h
changeset 1011 9a6c9d4ee77b
parent 359 0eec1736ff1d