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