lemon/nauty_reader.h
changeset 455 5a1e9fdcfd3a
parent 359 0eec1736ff1d