lemon/nauty_reader.h
changeset 1393 afcd33be243f
parent 371 0eec1736ff1d