lemon/nauty_reader.h
changeset 833 d2bc45e8f6f2
parent 359 0eec1736ff1d