lemon/nauty_reader.h
changeset 841 aa8c9008b3de
parent 359 0eec1736ff1d