An ESRA model of the Travelling Salesperson Problem
this model appears in: Pierre Flener, Justin Pearson, and Magnus Ågren "Introducing ESRA, a Relational Language for Modelling Combinatorial Problems"