lemon/nauty_reader.h
changeset 832 5100072d83ca
parent 359 0eec1736ff1d