lemon/nauty_reader.h
changeset 736 86c49553fea5
parent 371 0eec1736ff1d