lemon/nauty_reader.h
changeset 512 9b9ffe7d9b75
parent 359 0eec1736ff1d