lemon/nauty_reader.h
changeset 600 6ac5d9ae1d3d
parent 359 0eec1736ff1d