lemon/nauty_reader.h
changeset 515 b9b3473327e3
parent 359 0eec1736ff1d