lemon/nauty_reader.h
changeset 2545 2bed3e806e1e
child 2553 bfced05fa852