lemon/nauty_reader.h
changeset 380 d916b8995e22
parent 351 91e68d590e61
child 358 636fa2f39f10