lemon/nauty_reader.h
changeset 1410 d9f79b81ef6c
parent 371 0eec1736ff1d