lemon/nauty_reader.h
branch1.2
changeset 944 02c93d1f00d7
parent 359 0eec1736ff1d