A distributed optimiser for local rewrites-based graph optimisation - View it on GitHub