lemon/nauty_reader.h
changeset 725 11404088d1a5
parent 359 0eec1736ff1d