lemon/nauty_reader.h
changeset 957 2eebc8f7dca5
parent 359 0eec1736ff1d