lemon/nauty_reader.h
changeset 2580 fa71d9612c42
parent 2516 6a30e13a1c79
child 2610 52cf8f8f25b4