lemon/nauty_reader.h
changeset 1061 2024bf2ecdd6
parent 371 0eec1736ff1d