lemon/nauty_reader.h
changeset 517 2b6d5d22bb23
parent 359 0eec1736ff1d