RFS: graph isomorphism

[David Bremner <bremner@unb.ca>]

* Package name    : nauty
  Version         : 2.4~b7-1
  Upstream Author : Brendan McKay <bdm@cs.anu.edu.au>
* URL             : http://cs.anu.edu.au/~bdm/nauty/
* License         : non-free/pacifist. See below.
  Programming Lang: C
  Section         : non-free/math

  Description     : graph isomorphism testing library, with command line tools

 nauty (no automorphisms, yes?) is a set of procedures for determining
 the automorphism group of a vertex-coloured graph. It provides this
 information in the form of a set of generators, the size of the
 group, and the orbits of the group. It is also able to produce a
 canonically-labelled isomorph of the graph, to assist in isomorphism
 testing.

nauty is a build dependency of polymake (ITP 461976)

Unfortunately upstream is not interested in relicensing the package.
Non-free bits of the license are follows:

  Copyright (1984-2009) Brendan McKay. All rights reserved. Permission
  is hereby given for use and/or distribution with the exception of sale
  for profit or application with nontrivial military significance.
  
It builds these binary packages:
libnauty-dev - library for computing graph automorphisms (development files)
libnauty0d - library to compute graph automorphisms and canonical labellings
nauty      - command line tools to compute graph automorphisms

The package appears to be lintian clean.

The upload would fix these bugs: 529094 (ITP)

I would be grateful if someone uploaded this package for me.

Warm regards
 David Bremner